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