2021-08-12 - production
13:50	<effie>	disable puppet on mediawiki hosts to merge 705852	[production]