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]