Github mirror not sync for 11 days

[Erik Helin]

> On 1 Apr 2019, at 08:00, Netroby <hufeng1987 at gmail.com> wrote:
> 
> Any one know why github mirror not sync for 11 days？

Yes, we are currently applying some fixes to the conversion, we will soon re-enable the live mirroring. Unfortunately many of the hashes in the repository will change due to the fixes, so you will have to re-clone your local repositories. I will send some more information to skara-dev [0] once we re-enable the live mirroring.

Thanks,
Erik

[0]: http://mail.openjdk.java.net/mailman/listinfo/skara-dev