ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Stefan Bodewig <>
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


> 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!)


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


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

View raw message