Tool account: mediawiki-mirror

mediawiki-mirror

A world-readable MediaWiki checkout (all gerrit.wikimedia.org repositories) for all Tools users to use.