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 _______________________________________________ Python-Dev mailing list [email protected] https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com