Deimos library interfaces needed for these

[Martin Nowak via Digitalmars-d]

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?