Ini adalah repositori Git saya:
https://github.com/benqzq/ulcwe
Ini memiliki nama dir local
dan saya ingin mengubah namanya menjadi nama lain (katakanlah, dari local
ke xyz
).
Mengubahnya melalui GitHub GUI secara manual adalah mimpi buruk karena saya harus mengubah nama direktori untuk setiap file secara terpisah (GitHub belum menyertakan fungsionalitas "Ganti nama direktori", percaya atau tidak).
Setelah menginstal Git, saya mencoba perintah ini:
git remote https://github.com/benqzq/ulcwe && git mv local xyz && exit
Meskipun saya tidak mendapatkan prompt untuk kata sandi GitHub saya, saya memang mendapatkan kesalahan ini:
fatal: Not a git repository (or any parent up to mount point /mnt/c)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
Saya tahu inti dari Git adalah mengunduh proyek, mengubah, menguji, dan kemudian mendorong ke penyedia hosting (GitHub dalam kasus ini), tetapi untuk hanya mengubah direktori, saya ingin operasi langsung. Apakah mungkin dengan Git?
Haruskah saya menggunakan program lain?