On 1/25/2018 4:31 PM, Victor Stinner wrote:
Hi,
The best would be able to have a bot merging a pull request once tests
pass and a core developer asked a merge. I'm not talking about the
current approval using review, but something new, like adding a
special comment like "Merge". Such comment would only merge if it's
written by a core developer.
Each time I approve a backport PR created by miss-ilington with "LGTM,
good bot", I hope secretly that the PR will be merged automatically
once CI tests pass ;-)
Great idea. At this point, pressing the button is, for me at least, a
formality.
tjr
_______________________________________________
python-committers mailing list
python-committers@python.org
https://mail.python.org/mailman/listinfo/python-committers
Code of Conduct: https://www.python.org/psf/codeofconduct/
