Я создал репозиторий Git, используя гитолит. Теперь я хотел бы переименовать этот репозиторий.
Как я могу это сделать?
В gitolite readme говорится, что я не должен работать непосредственно на сервере. Но я предполагаю, что в этом случае я должен выполнить некоторую работу на сервере, верно?