2020-02-28 - releng
12:40	<hauskatze>	Migrated https://github.com/wikimedia/mediawiki-extensions-NearbyPages to Gerrit; GitHub repo now watches the Gerrit one	[releng]