[Python-Dev] GH-NNNN vs #NNNN in merge commit (original) (raw)
Terry Reedy tjreedy at udel.edu
Thu Jan 25 15:50:57 EST 2018
- Previous message (by thread): [Python-Dev] GH-NNNN vs #NNNN in merge commit
- Next message (by thread): [Python-Dev] GH-NNNN vs #NNNN in merge commit
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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
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
- Previous message (by thread): [Python-Dev] GH-NNNN vs #NNNN in merge commit
- Next message (by thread): [Python-Dev] GH-NNNN vs #NNNN in merge commit
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]