ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Jan Matèrne (jhm) <apa...@materne.de>
Subject AW: [VOTE] GitHub integration
Date Sun, 08 Jun 2014 09:11:22 GMT
> 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-unsubscribe@ant.apache.org
For additional commands, e-mail: dev-help@ant.apache.org


Mime
View raw message