I have some complains about automerge: RFE automerge enhancements
I only use the web UI to merge a PR. I’m trying to always modify the title to replace #xxx with GH-xxx. I’m painful, but it’s also common that I modify the commit message, or even sometimes rewrite it fully when it’s really irrelevant.
One issue with the web UI is that if someone merges another PR while you’re merging a PR, the merge fails. GitHub shows a “Retry” button: if you click, the PR is merged with the old unmodified PR title… (with #xxx instead of GH-xxx for example). I reload the page instead to workaround this issue.