2018-07-10 - releng
21:27	<hashar>	github: deleting archived repo https://github.com/wikimedia/mediawiki-extensions-Transliterator | T199103	[releng]