I am happily developing a package in my own machine, so I do
(v1.0) pkg> develop https://github.com/una-dinosauria/Rayuela.jl.git
which, to my surprise, clones a commit from August 2018.
How can I force develop
to clone the latest version from github?
You can change to the directory on your machine and checkout the commit from the command line.
Just to be clear @una-dinosauria this is an actual bug,
your surprise is justified.
Do not worry the Pkg devs are aware of it,
(though I can’t find the issue number just now).
Until it is fixed @dpsanders’ solution is the way to go.
1 Like
Yes, this is the relevant issue.
AFAICT, Pkg currently avoids touching dev
ed packages as much as possible i.e. you still need to update them manually (throught git) anyway.
Thanks for your help @dpsanders – I was aware of this workaround; I was wondering if there is a way to force Pkg.develop
to do it for me instead.
Thanks @00vareladavid. This is very helpful.
Have you tried with Julia 1.0.1? This may have been fixed.
I’m on 1.0.1 and it still happens