Proposal for pull request review process

[Dicebot]

On Tuesday, 30 July 2013 at 08:46:23 UTC, Joseph Rushton Wakeling 
wrote:
> On 07/28/2013 10:41 PM, Joseph Rushton Wakeling wrote:
>> I originally posted this idea in the course of a thread in 
>> D.announce but
>> thought I'd put it here so that more people can pitch in.
>
> OK, maybe it was just uninteresting or incomprehensible. :-P
>
> Short version: I think it would help speed up the review queue 
> to have an
> auto-merge facility that would automatically merge in approved 
> pull requests
> once they pass the test suite.

Well, I think simply no one finds it worth discussing until there 
is actual implementation for such facility proposed ;)