On 10/27/2014 12:48 AM, Vladimir Panteleev wrote:
Before we add a bunch of more Deimos projects, can something be done about the turnaround for Deimos pull requests? Right now, it looks like the only way to get a pull merged is to ping you personally to merge it.
There are 13 members of Team Deimos who can pull: https://github.com/orgs/D-Programming-Deimos/teams/team-deimos
