"Squash and merge" on GitHub

[Vladimir Panteleev via Digitalmars-d]

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