[Python-Dev] Stop automerging

Mariatta Wijaya mariatta.wijaya at gmail.com
Wed Sep 12 10:16:38 EDT 2018

Thanks Zach for fixing it quickly.

Even if that bug has been fixed, per my instructions to python-committers,
core devs should still edit the PR title and PR description *before* adding
the '🤖 automerge' label.

The YouTube video (link in python-committers  email) shows to edit those.

The PR title and body will be used as the squashed commit message.

And remember, you can still merge the PR manually. Just don't apply the  '🤖
automerge' label.

On Wed, Sep 12, 2018, 2:09 AM Zachary Ware <zachary.ware+pydev at gmail.com>

> It is still up to the core dev to set the message properly, but the HTML
> comments are invisible on GitHub until you edit the message. That bug is
> now fixed, though; HTML comments are stripped from the message before
> creating the commit.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20180912/30be89f9/attachment.html>

More information about the Python-Dev mailing list