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+py...@gmail.com> wrote: > 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. > >
_______________________________________________ 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
