2018-08-30 - releng
20:31	<Hauskatze>	github: deleting https://github.com/wikimedia/mediawiki-extensions-SemanticLinks mirror for T199422	[releng]