Github mirror not sync for 11 days

Erik Helin erik.helin at
Mon Apr 1 08:11:45 UTC 2019

> On 1 Apr 2019, at 08:00, Netroby <hufeng1987 at> 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.



More information about the skara-dev mailing list