Pig Github mirror out of sync

[Praveen R]

Looks like pig github mirror has been out of sync for quite sometime. Is
there a status page where this can be checked ?

Thanks,
Praveen