Also apparently GitHub mobile doesn't give you you the prompt to edit the commit message when merging. Sorry https://github.com/pantsbuild/pants/pull/14984