2023-02-03 - releng
03:35	<Krinkle>	Delete empty GitHub repositories that were created as mirror of a Gerrit repo but are empty and more than 5 years old	[releng]