Development: svn.gnome.org is no more

Although we've migrated to Git a long time ago, we still had
svn.gnome.org up and running. I've killed svn.gnome.org just now. The
svn repository data is still available to sysadmins, but not how long
we'll keep it.