2022-07-17 - tools
15:52	<wm-bot2>	removing grid node tools-sgeexec-10-10.tools.eqiad1.wikimedia.cloud - cookbook ran by taavi@runko	[tools]