On Thu, Jan 25, 2018 at 11:50 PM, Terry Reedy <tjre...@udel.edu> wrote: > 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?
If I understand Mariatta correctly, you can just left a "@merge-bot merge" comment if you're happy with the commit message. Then the bot itself can replace #NNNN with GH-NNNN, clean the body of the commit message from commits like "* fix typo", squash commits, and merge. --Berker _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com