Right now repositories.xml is pulled in by layman separately which means it is not mirrored. If we want to move overlay syncing to be handled by emerge i believe this file should be moved to the gentoo repo. It could be a new feature of repos to include information of other repos.
(In reply to C.J. Wijtmans from comment #0) > Right now repositories.xml is pulled in by layman separately which means it > is not mirrored. api.gentoo.org is powered by multiple machines. Are you worried about availability? > If we want to move overlay syncing to be handled by emerge > i believe this file should be moved to the gentoo repo. What is the 'gentoo repo'? The main tree (aka 'gentoo-x86')? > It could be a new > feature of repos to include information of other repos. That would bring us plenty of new trust issues. The repositories.xml file is specifically fetched from one central location, using sufficiently secure protocols. I don't see the gain here just yet, so please elaborate.