Git mirror issue for incubator-joshua

[Tommaso Teofili]

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