[Savannah-hackers-public] importing cvs repo

[Karl Berry]

Sylvain,

http://savannah.gnu.org/maintenance/ImportingCVSRepository looks stale,
still talks about vserver.

I know someone is going to ask us to do this soon (Winfriend B for
dataexplorer) and was hoping someone other than you would be able to
help.

On a similar front, is
http://savannah.gnu.org/maintenance/RenamingProjectGroup (ie, run
~/infra/maintenance/rename_project.sh + mlists + web) ok for us mortals
to use?  The script looks like it's been updated, but thought I should
check.  Winfried is going to ask us to do that too (gde ->
dataexplorer).

Thanks,
Karl