2018-06-07 - releng
14:03	<hashar>	github: deleting https://github.com/wikimedia/mediawiki-extensions-WikivoteMapsYandex | T193844	[releng]