Mirror server [edit: was] down

Just a quick heads up, I’ve broken the mirror servers for (hopefully) not too long, as I’m rebuilding the main database that has managed to get itself confused.

This means that online upgrades will be unavailable for the moment.

The GOOD news is that this is a step towards getting proper distributed replication of the mirror servers, so we can pull one down, and you guys shouldn’t notice!

Edit: All complete. You guys shouldn’t have noticed anything!