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 ?
Thanks and regards, Tommaso Il giorno mer 28 set 2016 alle ore 10:06 Daniel Gruno <[email protected]> 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. >
