2023-12-02 - tools.bridgebot
13:42	<bd808>	Restarted bot. Was missing from IRC channels (possibly all channels). Likely fallout from Kubernetes cluster issues yesterday.	[tools.bridgebot]