OSDir


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[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. ;)