2021-08-17 - production
08:29	<effie>	disable puppet on mediawiki hosts to merge 712920	[production]