2017-04-13 - production
15:02	<andrewbogott>	disabling puppet on dubnium and pollux for a cautious merge of https://gerrit.wikimedia.org/r/#/c/348071	[production]