2018-03-22 - tools
21:48	<bd808>	Disabled puppet on tools-proxy-* for https://gerrit.wikimedia.org/r/#/c/420619/ rollout	[tools]