2025-07-26 - tools.speedpatrolling
09:11	<wmbot~lucaswerkmeister@tools-bastion-13>	deployed 5c34e3284f (improve typing, migrate CI from GitHub to GitLab)	[tools.speedpatrolling]