[opam-devel] On the new mixed mode pins

[Daniel Bünzli]

Le samedi, 16 mai 2015 à 16:24, David Sheets a écrit :
> Ah, I had not understood that. To ensure clarity, here are the two options:
>  
> 1. `opam pin -k git add $PKG $PATH` -> $PKG#$BRANCH
> 2. `opam pin -k git add $PKG $PATH` -> $PKG which tracks the currently
> checked out branch  

In git terms:

1. Tracks the result of `git symbolic-ref HEAD` at pin time.
2. Tracks HEAD.
  
> I believe you propose 1 which removes branch-less pins altogether and
> does not refer to local state. I like this design. Re-pinning can be
> used to switch branches.

Yes. That's exactly my impression.  

Best,

Daniel