On 2 August 2015 at 16:41, Daniel Bünzli <[email protected]> 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 _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
