<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 26 January 2018 at 07:31, Victor Stinner <span dir="ltr"><<a href="mailto:victor.stinner@gmail.com" target="_blank">victor.stinner@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Each time I approve a backport PR created by miss-ilington with "LGTM,<br>
good bot", I hope secretly that the PR will be merged automatically<br>
once CI tests pass ;-)<br>
<br>
Is it possible to write a bot which merges a PR?<br></blockquote><div><br></div><div>The last time we looked at this, the main technical problem was that there wasn't a native way to pre-edit the commit message before hitting the "Squash & Merge" button, and emulating that capability via a formatted comment misses out on a lot of UI niceties.</div><div><br></div><div>So for a first pass, I think a comment from the bot saying "Approved PR ready for merge" and mentioning the committers that left approving reviews would be a good way to go (I know Sanyam had to ping me on a couple of issues because I'd approved them, but switched to doing something else because CI was still running, and then never got back to actually merge them).<br></div><div></div><br><div>Cheers,</div><div>Nick.<br></div></div><br>-- <br><div class="gmail_signature">Nick Coghlan   |   <a href="mailto:ncoghlan@gmail.com" target="_blank">ncoghlan@gmail.com</a>   |   Brisbane, Australia</div>
</div></div>