[opam-devel] On the new mixed mode pins

[Daniel Bünzli]

> # Getting rid of mixed mode
> 
> So what I propose is to drop mixed-mode and go back to the initial system we had with only path and VCS pins. The behaviour of `pin add` and pins is as follows:
> 
> * pin add $PATH, a path pin that rsyncs $PATH
> * pin add -k $VCS $PATH#branch, a $VCS pin that tracks $PATH's repo branch #branch
> * pin add -k $VCS $PATH, a $VCS pin that tracks $PATH's repo's default branch
> 
> The VCS pins simply upgrade whenever the corresponding branch updates.
Also this actually corresponds to what a remote VCS pin is and does. It feels right that the system does not differentiate in behaviour between local and remote VCS pins.


Daniel