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.
