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?

On 10/29/2014 9:13 AM, Martin Nowak wrote:
> On 10/28/2014 05:19 AM, Walter Bright wrote:
>>>> There are 13 members of Team Deimos who can pull:
> Are you sure about that?

Yes.

> I've never seen anyone pulling deimos requests but you.

Sad, but true.

> Maybe new repos aren't automatically assigned to team-deimos?

That's correct, and about 25% weren't assigned to Team Deimos. I have corrected that.

On Tuesday, 28 October 2014 at 11:39:45 UTC, John Colvin wrote:
> Isn't the "official" stamp worth something? If they all connected
> up to dub anyway it seems like a win-win, if we can get pulls
> merged quickly.

I can hardly imagine where I'd care about such official status. Either bindings work or they don't - and with the way Deimos currently works you are more likely to expect working ones in dub.

Any setup were binding author can't do all necessary changes himself is sub-optimal and too slow to be considered practical.