2022-10-30 - tools.notwikilambda
10:34	<wm-bot>	<lucaswerkmeister> kubectl delete deployment function-evaluator function-orchestrator pygments-server	[tools.notwikilambda]