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