On Fri, 2017-07-28 at 09:15 +0200, Christophe de Dinechin wrote: > > > > How you really mean "git submodules".. Eh, what's the point? Sounds > > very wrong and useless to me, it will be constantly outdated.. > > Write a script instead? > > What I really mean is something like this: https://gitlab.com/c3d/spi > ce. I did that quickly, but ultimately, I’d like to have READMEs and > global build scripts, to put spice-space repositories under “docs”, > that kind of things. Personally, a huge super-repository like this would be a giant pain in the neck for me. I would be very opposed to something like this. Jonathon _______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/spice-devel