[opam-devel] On the new mixed mode pins

[Daniel Bünzli]

Le mercredi, 20 mai 2015 à 04:18, Louis Gesbert a écrit :
> Indeed, not how it worked, but that sounds fair enough. Shouldn't be too disruptive to current user if we print clearly "OPAM will track the xxx branch of ..." in the pinning message.
I also think that the `pin list` dashboard should be more explicit, # at the end of the repo url are hard to parse. I would rather like to have that printed as
$PKG git $BRANCH $REPO (instead of $PKG git $REPO#$BRANCH).

> Or more importantly on an explicit install/reinstall/upgrade (which triggers update automatically).
Aaah I think I now understand, this idea of forgetting to commit ThomasL was mentioning. If you `reinstall` then you may effectively not *see* that you forgot to commit since this *forces* the installation regardless. Are we missing a command that says "reinstall if there is a new commit" or is this simply `update -u PIN` ?

> True enough. Well none of these changes seem too disruptive to not add in 1.3.
I have opened an issue for this here https://github.com/ocaml/opam/issues/2156

If you want me to make the issue more precise please tell. Also if you need help with the documentation bits update once the changes have been made (man page, general opam documentation) I can give a hand.

Best,

Daniel