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