[22:14:09] <wikibugs>	 10serviceops, 10MediaWiki-Documentation, 10Documentation, 10Patch-Needs-Improvement, 10User-Dereckson: Repair "svn.wikimedia.org/doc/" redirect for doc.wikimedia.org - https://phabricator.wikimedia.org/T109950 (10Aklapper)