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 [RESULT] [VOTE] GitHub integration
Date Tue, 17 Jun 2014 06:05:00 GMT
The week is over.
#1 and #3 passed, so I'll create the INFRA-ticket.


Jan



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

+1: 
  Jan
  Stefan
  Antoine


> 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; 
  Jan: Ant doesnt use Jira. But maybe Ivy+EasyAnt
  Stefan: Not directly involved in a subproject using JIRA.  If I was I'd
vote +1.
  Antoine

 
> 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
  Jan
  Stefan
  Antoine
  

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

+1
  Stefan: If we had a channel and people would use it, I'd vote +1.  AFAIK
we haven't got such a channel.
+0 
  Jan: I dont use freenode
  Antoine



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


Mime
View raw message