> Apache Infra supplies a variety of GitHub integrations [1].
> 
> As specified there, it is an "opt in", so we must decide which of these
> services we want to have.

My votes


> 1. Any Pull Request that gets opened, closed, reopened or commented on
> now gets recorded on the project's mailing list

+1


> 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

+0; Ant doesnt use Jira. But maybe Ivy+EasyAnt


 
> 3. Replying to a GitHub comment on the dev@ mailing list will trigger a
> comment being placed on GitHub (yes, it works both ways!)

+1


> 4. GitHub activity can now be relayed to IRC channels on the Freenode
> network.

+0, I dont use freenode


Jan


---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant.apache.org

Reply via email to