[opam-devel] can a repository URL point to a sub-directory of a git repo
agarwal1975 at gmail.com
Thu Jan 23 17:56:17 GMT 2014
On Thu, Jan 23, 2014 at 12:36 PM, Thomas Gazagnaire
<thomas at gazagnaire.org>wrote:
After re-reading your question again, a possible solution is to have this
> inside your git repo and adding it as a remote repo should work.
Of course! That does work, though it's not too nice having a packages/
directory in the top-level. At least opam/ would give some clue what the
directory is about.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the opam-devel