2018-07-09 - releng
10:48	<hashar>	github: deleting https://github.com/wikimedia/mediawiki-extensions-Premoderation | T198952	[releng]