2019-08-02 - tools
14:00 <andrewbogott_> rebooting tools-worker-1022 as it is unresponsive