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 _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
