On Tue, Apr 6, 2021 at 6:41 PM Pablo Galindo Salgado <pablog...@gmail.com> wrote: > I think this is a good motivation to use > https://docs.github.com/en/github/collaborating-with-issues-and-pull-requests/automatically-merging-a-pull-request > instead as you can write your own commit message there and schedule the > merge.
By the way, currently when you merge a PR (manually), if you modify the commit title/message *and* the merge fails, DON'T CLICK on "try again", or the PR is merged with the old commit title/message without your changes :-( IMO it's a bug in the GitHub UI. Victor _______________________________________________ python-committers mailing list -- python-committers@python.org To unsubscribe send an email to python-committers-le...@python.org https://mail.python.org/mailman3/lists/python-committers.python.org/ Message archived at https://mail.python.org/archives/list/python-committers@python.org/message/SXCKZK3PS3AGMX6WAHSJ4ZIODVPYDL4F/ Code of Conduct: https://www.python.org/psf/codeofconduct/
