2020-05-29 - releng
18:17	<hauskatze>	GitHub: Deleted mirror wikimedia/mediawiki-extensions-PopupPages refs. T251000	[releng]