2019-04-16 - production
22:39	<thcipriani>	restarting gerrit for configuration update https://gerrit.wikimedia.org/r/504448	[production]