https://issues.apache.org/jira/browse/INFRA-7913
Jan
> -Ursprüngliche Nachricht-
> Von: Jan Matèrne (jhm) [mailto:apa...@materne.de]
> Gesendet: Dienstag, 17. Juni 2014 08:05
> An: 'Ant Developers List'
> Betreff: [RESULT] [VOTE] GitHub integration
>
>
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 PR
Apache Commons is one of those projects that looks feature-complete and
bug-free. It's one of those things people use but don't even think about. :)
On 8 June 2014 14:05, Jan Matèrne (jhm) wrote:
> > From my experience with log4net and commons, pull requests are pertty
> > rare, BTW.
>
> At Cam
> From my experience with log4net and commons, pull requests are pertty
> rare, BTW.
At Camel PRs come in very often ...
Jan
-
To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant
Here is my vote,
On Jun 8, 2014, at 5:08 AM, Jan Matèrne (jhm) wrote:
> After some out-of-vote +1, I'll start a formal vote (oh, my 1st one ;)
>
>
>
> Apache Infra supplies a variety of GitHub integrations [1].
>
> As specified there, it is an "opt in", so we must decide which of these
> ser
>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 p
> Apache Infra supplies a variety of GitHub integrations [1].
>
> As specified there, it is an "opt in", so we must decide which of these
> services we want to have.
My votes
> 1. Any Pull Request that gets opened, closed, reopened or commented on
> now gets recorded on the project's mailing li
After some out-of-vote +1, I'll start a formal vote (oh, my 1st one ;)
Apache Infra supplies a variety of GitHub integrations [1].
As specified there, it is an "opt in", so we must decide which of these
services we want to have.
Supported integrations are:
1. Any Pull Request that gets op
