I run a git
server which contains only the bare remotes. Say, I have one bare remote called DIG.git
which I usually clone with:
git clone 55.66.77.88:git/DIG.git
and I want to rename the bare remote on the server from DIG.git
to DIGit
so that I can do
git clone 55.66.77.88:git/DIGit
Can I just log into the server and do
mv DIG.git DIGit
or is this considered bad practice? If so what is the right way to rename a bare remote?