Typically you file a JIRA with INFRA and have them take a look at it. It could be that the nodes are down that do the sync, or they are overloaded. It could be that there is an error happening as part of the sync for some reason. They would know better.
- Bobby On Tuesday, April 25, 2017, 10:33:23 AM CDT, Enrico Olivelli <[email protected]> wrote:Hi, Github mirror is not in synch. What can we do? This is a problem for PRs Enrico -- -- Enrico Olivelli
