RetroSearch Browse

Thu Jan 25 16:22:51 EST 2018 · https://mail.python.org/pipermail/python-dev/2018-January/151911.html

On Thu, Jan 25, 2018 at 11:50 PM, Terry Reedy <tjreedy at 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

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

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

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