2018-07-09 - releng
10:47	<hashar>	github: deleting https://github.com/wikimedia/mediawiki-extensions-SwarmExport | T198957	[releng]