Can you describe more on what are not in sync? Sijie
On Apr 25, 2017 8:33 AM, "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 >
