2017-12-12 - production
21:31	<mutante>	releases1001 - rm mediawiki core repo and let puppet try to recreate it (follow-up issue after gerrit:397891)	[production]