Allow renaming a repo

[vHanda]

Currently the repos are named before to repo_num. When setting up the git host, I do try to guess the name and rename it, but it would be nice to provide a way to rename it.

Also, a user asked for it.

[gijshvg]

I would like to have this feature, for instance after making a false start with a new repo.