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]