2026-06-11 - releng
08:40	<hashar>	gerrit: deleted mediawiki/core branch "development" that pointed to 7f622781cc31053b121f6f4ddbff506cba10d38e (which is contained by master). Had probably been created by a direct push.	[releng]