Assault & battery on pull requests

[Andrei Alexandrescu]

On 3/16/14, 3:28 PM, Jakob Ovrum wrote:
> On Sunday, 16 March 2014 at 22:10:50 UTC, monarch_dodra wrote:
> I'd like to thank you for leaving a PR open for a couple of days before
> merging after having reviewed it yourself. Even if this practice was
> widely adopted though, the problem remains with PRs sometimes being
> merged even when there are still outstanding objections.

We can always undo merges.

Andrei