2024-03-13 - tools
19:21	<andrewbogott>	shutting down old puppet infra: tools-puppetmaster-02 and tools-puppetdb-1. These can be deleted in a week or two presuming everything remains stable.	[tools]