2018-06-06 - releng
19:14	<hashar>	github: deleted https://github.com/wikimedia/mediawiki-extensions-SolrStore (archived repo) | T196513	[releng]