[opam-devel] On the new mixed mode pins

[Daniel Bünzli]

Le samedi, 16 mai 2015 à 15:40, David Sheets a écrit :
> > In fact if we wanted to be consistent with what a `git clone` would do (the least surprising in my opinion), we should maybe rather take the repository's current active branch whenever we `opam pin -k git $PATH`.
>  
> Agreed. This is the same VCS reference semantic that the mixed mode
> VCS pins currently have. This does make the VCS mode dependent on
> local working tree state and divergent from a remote repository but I
> believe this state is so small and 'obvious' as to be acceptable.

Note to be sure we understood the same: we pick up the branch that is current whenever `opam pin -k git $PATH` is invoked and then sticks to that branch (so that the pin is not subject to working directory changes, my obsession).

Daniel