2018-06-25 - releng
07:49	<hashar>	github: deleting archived repository https://github.com/wikimedia/mediawiki-extensions-CommunityVoice | T196618	[releng]