On Saturday, 15 February 2014 at 20:27:33 UTC, Andrei Alexandrescu wrote: > I don't know what system forwards github notifications to > dmd-internals. I'd guess that it just uses the GitHub e-mail hook feature, but I'm not a repo admin, so I can't check. David