[Python-Dev] GH-NNNN vs #NNNN in merge commit
On 1/25/2018 1:03 PM, Mariatta Wijaya wrote:
> One idea is maybe have a bot to do the squash commit, for example by
> commenting on GitHub:
> @merge-bot merge <commit title> <commit message>
> So core devs can do the above instead of pressing the commit button. Any
> thoughts on this?
I can hardly believe that you are seriously proposing that I should
replace a click with a 16 char prefix and then retype the title and
message. Did I misunderstand?
Terry Jan Reedy