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