Re: procfs, separate repo?

[Ivan Shmakov]

>>>>> Samuel Thibault <samuel.thibault@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