<div dir="ltr"><div>I think we're starting to deviate from the original topic here which is: please replace # with GH- when you click Squash & Merge button.</div><div><br></div><div>The idea of the mergebot (by issuing a command) was brought up for a different purpose: to automate the merging of a PR after all CI passes (which can take time) and an approval by a core dev.</div><div>I still like that idea, if we can figure out a way to supply a commit message we really want, before the bot merges the PR. It might be a separate discussion for core-workflow or python-committers? </div><div><div class="gmail_extra"><br></div><div class="gmail_extra">In my mind, even if we have such mergebot implemented, core devs can still merge using the UI if they want to.</div><div class="gmail_extra">(Remember to replace the # with GH-)</div><div class="gmail_extra"><br></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature">Mariatta Wijaya</div></div></div></div></div>