2016-12-08 - production
03:59	<mutante>	manually restarting gerrit to pick up config change to make jenkins comments pretty again (https://gerrit.wikimedia.org/r/#/c/325826/) (we stopped letting puppet do it for now)	[production]