2019-06-24 - production
21:40	<thcipriani>	restart gerrit for https://gerrit.wikimedia.org/r/518811/	[production]