FYI,
I've opened the infra ticket below when I noticed that our git mirror
stopped syncing.

https://issues.apache.org/jira/browse/INFRA-15725

-s

Reply via email to