2017-06-05 - tools
19:55	<andrewbogott>	disabling puppet on tools-proxy-01 and -02 for a staged rollout of https://gerrit.wikimedia.org/r/#/c/350494/16	[tools]