I think we're starting to deviate from the original topic here which is: please replace # with GH- when you click Squash & Merge button.
The idea of the mergebot (by issuing a command) was brought up for a different purpose: to automate the merging of a PR after all CI passes (which can take time) and an approval by a core dev. I still like that idea, if we can figure out a way to supply a commit message we really want, before the bot merges the PR. It might be a separate discussion for core-workflow or python-committers? In my mind, even if we have such mergebot implemented, core devs can still merge using the UI if they want to. (Remember to replace the # with GH-) Mariatta Wijaya
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
