[16:03:42] <wikibugs>	 10Wikimedia-Apache-configuration: Redirect svn.wikimedia.org/doc/ to doc.wikimedia.org - https://phabricator.wikimedia.org/T124612#1960332 (10Nemo_bis) 3NEW
[16:16:26] <wikibugs>	 10Wikimedia-Apache-configuration: Redirect svn.wikimedia.org/doc/ to doc.wikimedia.org - https://phabricator.wikimedia.org/T124612#1960345 (10Southparkfan)
[16:16:28] <wikibugs>	 10Wikimedia-Apache-configuration: svn.wikimedia.org/doc/<any page> should redirect to doc.wikimedia.org - https://phabricator.wikimedia.org/T109950#1960346 (10Southparkfan)