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 ;-) Is it possible to write a bot which merges a PR? Victor 2018-01-25 20:04 GMT+01:00 Mariatta Wijaya <[email protected]>: > I'm fine with the delay. I've been thinking to implement the bot that will > remind us when all the CI has been completed. > So we don't have to wait, and won't forget about it. > > Currently miss-islington does this only for the backport PRs made by > miss-islington. > I think it'll be useful to do that on other PRs too. > (yes I'm aware GitLab does this but we are on GitHub) > > Mariatta Wijaya > _______________________________________________ python-committers mailing list [email protected] https://mail.python.org/mailman/listinfo/python-committers Code of Conduct: https://www.python.org/psf/codeofconduct/
