www-infrastructure-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Paul Querna <p...@querna.org>
Subject Re: github pull requests
Date Thu, 10 Dec 2009 18:13:21 GMT
On Thu, Dec 10, 2009 at 6:13 AM, Jukka Zitting <jukka.zitting@gmail.com> wrote:
> Hi,
> 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.

I think just forwarding them to the dev list would be enough to get
started.   Telling people who do pull requests they need to put a
JIRA/BZ ticket in them for it to do anything is kinda painful for the

View raw message