2023-01-08 - releng
00:21	<Krinkle>	Mark various Gerrit repos under mediawiki/tools/ as read-only "ARCHIVED" that are 6y+ inactive, in prep for enabling Codesearch for this prefix	[releng]