[22:09] <cjwatson> I switched buildd-manager over to a new deployment half an hour or so ago.  Most things seem to be working seamlessly, but an oversight in firewall rules means riscv64 builders are down right now - we know where the problem is so it shouldn't take too long to fix
[22:41] <cjwatson> riscv64 fixed now