This servers hosts the SVN repositories (as well as a web interface to browse them.)
Check savannah.gnu.org for more information.