Anthony Towns <aj@azure.humbug.org.au> writes: > The job of the buildd admin is to make sure packages are built. Mostly > that's automated, which is great, which means the buildd admin's job is > mostly to keep the automation working. So when the build admin is not doing that job, what should we do? Thomas