2019-06-22 - releng
11:36	<hauskatze>	github: deleted `wikimedia/mediawiki-extensions-FirstSteps` GitHub mirror refs. T226149	[releng]