2017-12-11 - releng
10:00	<hashar>	github: deleted https://github.com/wikimedia/mediawiki-extensions-GitHub | T182231	[releng]