That would be a monorepo, right? What I don’t get about monorepos is what benefit is there in having the change history of unrelated entities merged into one stream of commits? But maybe if we implemented one I would finally get an empirical answer to that question. In general I am not against having one large dump repository for all platform-specific things that people could scavenge to look for things they can reuse for their platforms.
Should we do that right now?