2020-05-13 - releng
16:01	<James_F>	Zuul: Mark mediawiki/debian as archived in CI T240521	[releng]