2020-07-17 - tools
16:29	<bd808>	Disabled Puppet on tools-proxy-06 to test nginx config changes manually (T102367)	[tools]