www-infrastructure-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Jukka Zitting <jukka.zitt...@gmail.com>
Subject Re: github pull requests
Date Thu, 10 Dec 2009 10:40:28 GMT

On Thu, Dec 10, 2009 at 7:35 AM, Paul Querna <paul@querna.org> wrote:
> I was wondering, where to pull requests on repos hosted here:
> <http://github.com/apache>
> Get sent to?

Currently they go to git@git.apache.org that just logs the messages on
disk since they don't match the normal commit notification format that
the address is listening for.

> Is there a way we could route them to a projects dev list?

I guess we could do that with some heuristics and extra information
that map the github pull request message to the correct dev@ list.


Jukka Zitting

View raw message