It doesn't seem to work now because we have two commits get stuck.. Best, Yingyi
On Wed, Dec 16, 2015 at 8:41 PM, Chris Hillery <[email protected]> wrote: > 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 > > >
