Re: [python-committers] Automerge bot deployed

2018-09-11 Thread Guido van Rossum
W00t! 🎂🍰🥧🍦🍮🍨🍧🍱 On Tue, Sep 11, 2018 at 1:48 PM Mariatta Wijaya wrote: > I've deployed the bot to automerge CPython pull request on the master > branch. > > One benefit of this is you don't need to worry about replacing "#" into > "GH-". > > To get the bot to automerge: > - first edit the PR titl

[python-committers] Automerge bot deployed

2018-09-11 Thread Mariatta Wijaya
I've deployed the bot to automerge CPython pull request on the master branch. One benefit of this is you don't need to worry about replacing "#" into "GH-". To get the bot to automerge: - first edit the PR title and description, to be the commit message you want to use. - approve the PR (so it wi