2018-10-22 - releng
09:17	<_joe_>	deployment-prep: cherry-pick https://gerrit.wikimedia.org/r/c/operations/puppet/+/468583/, disable puppet on deployment-mediawiki-09	[releng]