2023-06-20 - tools
14:21	<taavi>	fix gitlab merge settings for tools-webservice to match the agreed values (fast-forward, squash encouraged)	[tools]