2023-03-23 - releng
13:22	<James_F>	Gerrit: Deleting mediawiki/extensions/PageProperties duplicate 'main' branch, development work is in 'master'.	[releng]