ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Jan Matèrne (jhm) <>
Subject GitHub integration
Date Sat, 07 Jun 2014 10:20:44 GMT
"To be more precise, these new features allows for the following:

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

As with most of our things, this is an opt-in feature."

I suggest adding GitHub-support#1 and #3.
#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?


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

View raw message