2018-02-08 - production
20:03	<no_justification>	gerrit: killed about 12 parallel clones of mediawiki/extensions/Math that had been running between 2-3 days (wtf?)	[production]