[dmd-internals] To consume pull requests for trivial bugs

[David Nadlinger]

On Tue, Aug 21, 2012 at 4:53 PM, Andrei Alexandrescu <andrei at erdani.com> wrote:
> There are many positive consequences to this. If the rule were not in
> effect, I suspect the notion of "this code is mine" and "that code is yours"
> would immediately emerge. With peer review enforced it becomes clear that
> once a pull request is merged, it is owned by the entire team.

Which is, incidentally, one of the reasons why I'm not particularly
fond of author tags in source files. If you want to know who actually
made the commits, just look at the SCM history…

David