Este é o meu repositório Git:
https://github.com/benqzq/ulcwe
Ele tem um diretório chamado local
e eu quero mudar seu nome para outro nome (digamos, de local
para xyz
).
Mudá-lo manualmente através da GUI do GitHub é um pesadelo, pois preciso alterar o nome do diretório de cada arquivo separadamente (o GitHub ainda não incluiu a funcionalidade "Renomear diretório", acredite ou não).
Depois de instalar o Git, tentei este comando:
git remote https://github.com/benqzq/ulcwe && git mv local xyz && exit
Embora não tenha recebido nenhuma solicitação para minha senha do GitHub, recebi este erro:
fatal: Not a git repository (or any parent up to mount point /mnt/c)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
Sei que o objetivo principal do Git é baixar um projeto, alterar, testar e enviar para o provedor de hospedagem (GitHub neste caso), mas, para alterar apenas um diretório, desejo uma operação direta. Isso é possível com o Git?
Devo usar outro programa, talvez?