The SVN server is working again.