Hi, I noticed that the GitHub mirror is out of sync, I found two issues today[1][2] at INFRA, so I guess it could be fixed and its only a matter of time to get it synced, so just as a heads up,
zoran [1] https://issues.apache.org/jira/browse/INFRA-13817 [2] https://issues.apache.org/jira/browse/INFRA-13818 -- Zoran Regvart
