Opened a ticket with JIRA https://issues.apache.org/jira/browse/INFRA-5519 Do we want to discuss moving to github? or are people ok with the mirror?
> Date: Wed, 14 Nov 2012 15:16:21 +0200 > Subject: github mirror not up to date > From: [email protected] > To: [email protected] > > Can someone take it with infra so they fix whatever they forgot to setup? > > Thanks, > > Itamar
