How do I rename a Git repository created with gitolite?

Question

I created a Git repository using gitolite. Now I would like to rename that repository.

How can I do this?

In gitolite\'s readme is says that I should not work d

Answer 1

I'm not familiar with gitolite specifically, but one approach that might work is to create a completely new repository with the correct name, push your code up into that one, and then delete the old one.