Shutting down the Buildroot autobuilder

I’m moving to a smaller machine, and decided to shut down the Buildroot autobuilder that has been running on the server for more than 5 years now. Buildroot is a great project, with great people. I’ve been recommending it for more than a decade now, used it personally and professionally on multiple occasions, and was glad I could contribute that long despite very limited available time.