ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Stefan Bodewig <bode...@apache.org>
Subject Re: [VOTE] GitHub integration
Date Sun, 08 Jun 2014 11:43:48 GMT
>From my experience with log4net and commons, pull requests are pertty
rare, BTW.

On 2014-06-08, Jan Matèrne (jhm) wrote:

> After some out-of-vote +1, I'll start a formal vote (oh, my 1st one ;)

> 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

Not directly involved in a subproject using JIRA.  If I was I'd vote +1.

> 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.

If we had a channel and people would use it, I'd vote +1.  AFAIK we
haven't got such a channel.

Stefan

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


Mime
View raw message