2018-02-03 - releng
21:05	<legoktm>	manually deleted /srv/zuul/git/mediawiki/tools/phan on contint1001 so zuul could clone the new repo	[releng]