RetroSearch Browse

Thu Jan 25 16:55:08 EST 2018 · https://mail.python.org/pipermail/python-dev/2018-January/151916.html

>
> Why not just auto merge if the PR is approved, CI is all green, and no
> additional commits have been pushed?

My problem has been that I almost always still need to rewrite the commit
message.
Especially when someone wrote "fix a typo" or "fix several typos".

If it automatically merges, then there's no opportunity to adjust the
commit message.
So I suggest the option to provide the proper commit message to the
mergebot.
If not provided, I guess we'll use the GitHub PR title and description.

Mariatta Wijaya
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20180125/89b5e95b/attachment.html>

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

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

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