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

[Daniel Bünzli]

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.

Best,

Daniel