Please do something about the Savannah Emacs git repository

[Glenn Morris]

Hi,

I think it is probably time to replace the Savannah Emacs git
repository with just a pointer to repo.or.cz, as originally suggested
in January:

http://lists.gnu.org/archive/html/emacs-devel/2010-01/msg00590.html

Having it still advertized on http://savannah.gnu.org/projects/emacs/
via the "Source Code" link just confuses people, eg

http://debbugs.gnu.org/cgi/bugreport.cgi?bug=7163#35


Thanks.