RetroSearch Browse

Thu Jan 25 15:50:57 EST 2018 · https://mail.python.org/pipermail/python-dev/2018-January/151908.html

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

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2018-January/151908.html below:

[Python-Dev] GH-NNNN vs #NNNN in merge commit