2018-06-08 - releng
07:50	<hashar>	github: deleting archived repo https://github.com/wikimedia/mediawiki-extensions-InterwikiIntegration | T196442	[releng]