[Python-Dev] Some PRs to merge? (original) (raw)
Victor Stinner vstinner at redhat.com
Fri Oct 19 21:08:35 EDT 2018
- Previous message (by thread): [Python-Dev] Some PRs to merge?
- Next message (by thread): [Python-Dev] Some PRs to merge?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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.
Victor
- Previous message (by thread): [Python-Dev] Some PRs to merge?
- Next message (by thread): [Python-Dev] Some PRs to merge?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]