[Python-Dev] Some PRs to merge?

Victor Stinner vstinner at redhat.com
Fri Oct 19 21:08:35 EDT 2018

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.


More information about the Python-Dev mailing list