2020-01-15 - releng
23:00	<Reedy>	deleted `contint2001:/srv/zuul/git/mediawiki/services/change-propagation` as the repo seems to be corrupted (git remote was integration/docroot) like T134062	[releng]