2023-12-07 - tools.bridgebot
15:17	<wm-bot>	<bd808> Fix remote nick formatting for wikimedia-cloud bridge (T352937)	[tools.bridgebot]