>>>>> Samuel Thibault <samuel.thiba...@gnu.org> writes:
> Should we keep procfs in a separate repository, or merge it into the
> main hurd repository?
> Generally enough, did we write a guideline somewhere as to what
> should be in the main hurd repository, or should be separate?
Given that Git has support submodules, but not (AIUI) for
repository merging and splitting, my opinion would be to keep
all but the bare minimum off the main Hurd repository.
There could be a kind of hurd-full.git repository, which has all
the relevant submodules' configuration to tie all the Hurd
repositories together, though.
--
FSF associate member #7257
