On 09/28/2016 10:54 AM, Tommaso Teofili wrote: > I had pushed several commits yesterday but nothing moved on, or did you > fix the mirroring now and I need to push a commit in order for that to > kick in ?
We did see an issue with the queue being jammed yesterday. This should be fixed now, so pushing a whitespace commit should resync. > > Thanks and regards, > Tommaso > > Il giorno mer 28 set 2016 alle ore 10:06 Daniel Gruno > <humbed...@apache.org <mailto:humbed...@apache.org>> ha scritto: > > On 09/28/2016 10:03 AM, Tommaso Teofili wrote: > > Hi all, > > > > at Apache Joshua (incubating) we're noticing that our Github mirror is > > out of date by 13 days, is it a known issue ? Can we (PPMC) do > anything > > about that ? > > > > Thanks and regards, > > Tommaso > > Do a trivial white space commit, that should force a sync. >