We'll be breaking the git checkout urls for all of the repositories anyway, so we can fix a lot of the naming cruft we've acquired over the years in Gerrit. We also expect to restrict top-level namespaces (see for example the mediawiki one on the policy page as one of them) for easier discovery and permissions management.
This is a placeholder thread for giving feedback on how we'll do it.
+∞
Top levels I can think of are mediawiki, operations, and wikimedia, (i.e. scrapping integration and moving the remaining contents under mediawiki/tools; moving analytics/ under wikimedia; and moving the dozens of random top-level ones into somewhere more appropriate, generally mediawiki/libs and mediawiki/services).
Whilst we're at it, renaming mediawiki/core.git to something more obvious for our main repo — mediawiki/mediawiki.git or whatever — would be particularly gratifying.
