Как переименовать репозиторий Git, созданный с помощью gitolite?

Я создал репозиторий Git, используя gitolite. Теперь я хотел бы переименовать это хранилище.

Как я могу это сделать?

В readme гитолита сказано, что я не должен работать непосредственно на сервере. Но я полагаю, что в этом случае мне нужно поработать на сервере, верно?