2018-09-16 - releng
12:47	<Hauskatze>	github: deleting <https://github.com/wikimedia/mediawiki-extensions-CommunityTwitter> | T204372	[releng]