[julia-users] Re: Pkg.add() works fine while Pkg.update() doesn't over https instead of git

[Tony Kelman]

While it's good that things are now working, deleting the old copy means we 
will now never know what went wrong. Please stop suggesting that as a first 
step, Chris and Davis. Moving it to a different name at least keeps it around 
for debugging.