The git commands were run in the command line, but I think there is also a Julia interface for git built into Base. Also the folder was .julia/registries/General . I’ll fix it in the post above.
Git can be called inside Julia by using LibGit2
Maybe @StefanKarpinski knows a better way to fix a broken registry or clean a broken package install.
Also @jheinen might be able to help with GR.
Did you try the last reply from the discussion mentioned above: