Il mar 25 apr 2017, 17:39 Bobby Evans <[email protected]> ha scritto:
> 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. > Today I cannot, I am only using my phone sorry and it is quite weird. @sijie can you create the INFRA ticket? > - 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 > -- -- Enrico Olivelli
