SourceForge.net's status page was updated last night. The public CVS services are back online! (Well, almost, there's too many connections at the moment to get reliable service). Note that the hostnames have changes. Previously, it was just "cvs.sourceforge.net", now it's "dosbox.cvs.sourceforge.net".