>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-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant.apache.org

Reply via email to