Git and Pkg3

question

#1

This is not an issue, but a usage question about Pkg3, so even though it is work in progress I hope it is OK to ask here.

My understanding is that one of the great innovations of Pkg3 is that it does not need to clone repositories. I understand the advantages, but I am curious what to do in case I do want to use the whole git repo (eg because I want to make a PR).


#2

I think it’s:

] pkg checkout

#3

Could not make this work (invalid command).


#4

https://github.com/JuliaLang/Pkg3.jl/pull/56 implements it as:

pkg> clone "URL"

The final way will be something similar to that.


#5

Sorry, I was remembering Stefan’s JuliaCon talk. Hopefully there be more videos for the first release…