2018-06-11 - releng
11:59	<hashar>	github: deleting archived repo https://github.com/wikimedia/mediawiki-extensions-DidYouMean | T196430	[releng]