25 Jan
2018
25 Jan
'18
5:43 p.m.
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