On 10/28/2014 05:19 AM, Walter Bright 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:
Are you sure about that? I've never seen anyone pulling deimos requests but you.
Maybe new repos aren't automatically assigned to team-deimos?
