I just realize that no-one blogged about it. As the mailing-lists are down too, here’s a bit of info: our CVS and mailing-lists provider, dotsrc.org, had an hardware problem on the server at the beginning of the week-end. They managed to reboot the server on Monday, but suffered from data loss on disk arrays, so they’re now restoring backups. The process is slow, as are all restores – especially since the server is a bit old. And, in the middle of the restore, they suffered from a power loss, which slowed the process even more.
We should get back to normal in a few days, if Murphy starts looking another way.