The case for small diffs in Pull Requests

[Steven Schveighoffer via Digitalmars-d]

On 7/21/16 3:10 AM, qznc wrote:

> D uses a bot [0] to do the merging. Afaik the process is that an
> authorized person (Walter, Andrei, etc) comment with "Auto-merge toggled
> on", then the bot toggles the merge after it ensures that tests pass.

Just FYI, there is a toggle on the auto-tester UI that adds the comment, 
and then merges using that user's id.

-Steve