[ocaml-infra] New Git repository in ocaml GitHub org

Gabriel Scherer gabriel.scherer at gmail.com
Wed Jan 25 14:55:25 GMT 2017


In any case, I think that this discussion is maybe a bit premature,
given that it is not clear yet whether we will proceed forward merging
#1014. I think we could safely delay discussion here (if there needs
to be a discussion separate from the GPR?) until a firm decision is
made on #1014.


On Wed, Jan 25, 2017 at 3:52 PM, Louis Gesbert
<louis.gesbert at ocamlpro.com> wrote:
>
>> - Gabriel Scherer, 25/01/2017 15:38 -
>> I agree that in general submodules can be a pain to use, but in this
>> specific case I think that this is not likely to be an issue: most
>> people would never need to pull the submodule or update it in any way,
>> it would only need to be manipulated at release time (pull, copy
>> files, commit, and that's it), which occurs infrequently.
>
> Note however that more recent versions of opam do automatically pull git submodules, so for people using an OCaml compiler bound to the git URL (probably not that many), it might make things slightly slower instead.
>
> Best,
> Louis


More information about the Infrastructure mailing list