Github mirror is down

[Márton Balassi]

Our codebase github mirror is out of sync for at least 8 hours. I have
filed a JIRA ticket for Infra. [1]

[1] https://issues.apache.org/jira/browse/INFRA-9777

[Robert Metzger]

Thank you for opening a JIRA there.

They've closed it but it is still not working.

On Sat, Jun 6, 2015 at 10:06 PM, Márton Balassi <[hidden email]>
wrote:

> Our codebase github mirror is out of sync for at least 8 hours. I have
> filed a JIRA ticket for Infra. [1]
>
> [1] https://issues.apache.org/jira/browse/INFRA-9777
>