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 14:13:04 GMT

On Thu, Dec 10, 2009 at 11:40 AM, Jukka Zitting <jukka.zitting@gmail.com> wrote:
> On Thu, Dec 10, 2009 at 7:35 AM, Paul Querna <paul@querna.org> wrote:
>> 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.

An alternative would be to automatically post pull requests as Jira or
Bugzilla comments based on the issue reference included in the comment
associated with a request.


Jukka Zitting

View raw message