2018-12-19 - releng
18:05 <Hauskatze> Created mediawiki/extensions/ExternalGuidance.git repos on Gerrit, set-up mirrors on Diffusion and GitHub; per mediawiki.org request. [releng]