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?