2021-01-06 - production
11:14	<moritzm>	remove cloudceph2002-dev.wikimedia.org and cloudceph2003-dev.wikimedia.org from debmonitor (got reinstalled as .wmnet)	[production]