2016-08-22 - tools
22:07	<madhuvishy>	Disabled puppet across tools hosts in preparation to merge https://gerrit.wikimedia.org/r/#/c/305657/ (see T134896)	[tools]