In the past they've recommended pushing a small change to the master, which will retrigger the mirroring process.
Ceej aka Chris Hillery On Dec 16, 2015 8:39 PM, "Yingyi Bu" <[email protected]> wrote: > AsterixDB github mirror looks out-of-sync for a few days. > I just filed an INFRA issue [1] for that. > > Best, > Yingyi > > [1] https://issues.apache.org/jira/browse/INFRA-10966 >
