2018-06-08 - releng
09:48	<hashar>	github: deleting https://github.com/wikimedia/mediawiki-extensions-EditOwn | T196433	[releng]