July 16, 2016
8:36 p.m.
AFAIK that is the only way
1. delete github-cache folder in the image folder 2. unload all the loaded packages 3. execute this script again
At least if you have a metadata less github repository, is that the case? But that was the conclusion to which we arrived with Dale a few weeks ago and he's changing stuff, so maybe in the latest version it is already solved.