<div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span style="font-size:12.8px">Of course, </span><span style="font-size:12.8px">we would still need to convince people to install it :)</span></blockquote><div dir="auto"><br></div><div dir="auto">Right, that's the challenge :) </div><div dir="auto">I personally use Chrome (!) and I've been using your Chrome extension, so thank you!</div><div dir="auto">However, I don't feel comfortable making this available only for a specific browser user, feels exclusionary to me.</div><div>Also, sometimes I merge from my phone where there's no chrome extension, (maybe I really shouldn't be doing that?).</div><div><br></div><div dir="auto"><div dir="auto">I think the solution should be something not webbrowser specific.</div><div dir="auto"><br></div><div>One idea is maybe have a bot to do the squash commit, for example by commenting on GitHub:</div><div>@merge-bot merge <commit title> <commit message></div><div><br></div><div>So core devs can do the above instead of pressing the commit button. Any thoughts on this?</div><div><br></div><div>In the meantime, committers, please try to remember and change the # into GH- :)</div><div><br></div><div><br></div><div><br></div></div>
</div>