2018-09-26 - production
08:58	<_joe_>	disabling puppet on all hosts with a MediaWiki setup before merging https://gerrit.wikimedia.org/r/c/operations/puppet/+/453093	[production]