procfs, separate repo?

[Samuel Thibault]

Hello,

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?

Samuel