On Saturday, 2 April 2016 at 03:58:27 UTC, Daniel Murphy wrote:
On 2/04/2016 7:28 AM, Vladimir Panteleev wrote:4. We should use the autotester's auto-merge feature anyway.Can we disable both and force everyone to use the autotester?
Not an answer to your question, but after accidentally bypassing the autotester a few times (lack of habit due to working on other GitHub projects), I wrote this for myself:
http://dump.thecybershadow.net/6265c3ae18e8bf7a176d00e5e22ff395/NoMergeButton.user.js
