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