[opam-devel] Does pin git:// really make sense ?

Daniel Bünzli daniel.buenzli at erratique.ch
Thu May 30 13:40:59 BST 2013

Le jeudi, 30 mai 2013 à 13:01, Daniel Bünzli a écrit :
> Shouldn't there be some mechanism so that it can get the opam file from the git repo itself ?

Specifically what I mean by that is that in the git repo of we have  

opam/versions # maps versions git commits/tags
opam/descr     # descr file for the specific checkout  
opam/opam     # opam file for the specific checkout

This means that when you want to release you tag or lookup a specific commit and add it to opam/versions and make a new commit -m 'Publishing vX.X.X' so that HEAD has all the versions and let opam or whatever workflow in place do the rest. Et voilà. Yes I'm very lazy.



More information about the opam-devel mailing list