github mirror out-of-sync

[Yingyi Bu]

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