ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Stefan Bodewig <>
Subject Re: GitHub integration
Date Sun, 08 Jun 2014 11:41:17 GMT
On 2014-06-07, Jan Matèrne (jhm) wrote:

> 1. Any Pull Request that gets opened, closed, reopened or commented on now
> gets recorded on the project's mailing list
> 2. If a project has a JIRA instance, any PRs or comments on PRs that include
> a JIRA ticket ID will trigger an update on that specific ticket
> 3. Replying to a GitHub comment on the dev@ mailing list will trigger a
> comment being placed on GitHub (yes, it works both ways!)
> 4. GitHub activity can now be relayed to IRC channels on the Freenode
> network.

> I suggest adding GitHub-support#1 and #3.

I think we already have #1 - at least for Ant's core.

> #2 could be interesting für EasyAnt and Ivy, as they are using JIRA (Ant
> uses Bugzilla).
> Not sure about #4. What's the activity on freenode?

We'd need a separate channel on freenode for this.  Commons has one and
I hang around there regularly, it's pretty silent apart from JIRA and
commit notifications :-)


To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message