You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Would it be possible to include the opam-flambda-repository-overlay GIT repo into this repo as a sub-directory, and still use it from OPAM ?
I am not fond of the multiplication of repositories, I prefer when everything related to the task force is included in the same repo..
Your opinion ?
git doesn't allow cloning subdirs, and opam doesn't in general allow using a subdir of what was fetched. But we could have subdirs and advise to first git clone / git update and then use local repositories.
No description provided.
The text was updated successfully, but these errors were encountered: