[opam-devel] On the new mixed mode pins

[Thomas Leonard]

On 2 August 2015 at 16:41, Daniel Bünzli <daniel.buenzli at erratique.ch> wrote:
> Le vendredi, 15 mai 2015 à 22:10, Daniel Bünzli a écrit :
>> Other nightmare scenarios include compilable changes that you would not like to see being picked up ending being catched and installed by opam without you noticing.
>
> FWIW this just happened to me, lost an hour and half banging my head on the table (that may have helped with other things though).

How about moving mixed mode to "path" instead of "git" (as I think
someone suggested before)?

i.e.

"git pin -k path ..." (or just "git pin") will use mixed mode if possible
"git pin -k git ..." uses the Git commit, ignoring the working tree


-- 
Dr Thomas Leonard        http://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA