Bastien <b...@gnu.org> writes:
>
> The separate repo could be a submodule of Org's core repo and its
> contents could even make it into the .tar.gz and .zip files.
>

I'm not sure that submodules are robust enough.  I tried using them for
a small project and found them wanting (that was a couple of years ago, so
there may be have changes to git to make things better). I then used the
alternate strategy described in Chacon's book (git subtree merging) and
ended up in a tangle: I had to tease the repos apart manually. I now do
things more manually, but (to me) more transparently.

This may very well have been me tripping over my shoelaces of course, and
a more knowledgeable git admin might have been able to make things work
better than I did. But I think it would behoove us to step into those
waters with a fair amount of caution, a backup strategy and lots of
experimentation and documentation, before we take the leap.

Nick





Reply via email to