[Python-Dev] Some PRs to merge?
20.10.18 04:08, Victor Stinner ????:
> Le ven. 19 oct. 2018 ? 19:01, Stephane Wirtel <stephane at wirtel.be> a ?crit :
>> total: 49 PRs
>> is:open is:pr review:approved status:success label:"awaiting merge" -label:"DO-NOT-MERGE" label:""LA signed""
> I merged many PRs and closed a few (2 if I recall correctly). Your
> query now counts 24 PRs.
Thank you Victor! I prefer to merge my PRs and PRs assigned to me
myself, but I am not sure that I would merge all PRs that can be merged
in the nearest future. ;)