名前を変更するディレクトリを希望の名前の新しいディレクトリにコピーし、古いディレクトリを削除する、そしてgit add
、git commit
そしてpush
すべて。しかし、これが最善の方法でしょうか?
ベストアンサー1
基本的な名前変更(または移動):
git mv <old name> <new name>
大文字と小文字を区別して名前を変更する場合 (例: from からcasesensitive
to へCaseSensitive
)、次の 2 つの手順を実行する必要があります。
git mv casesensitive tmp
git mv tmp CaseSensitive
…その後にコミットとプッシュを実行するのが、Git リポジトリ内のディレクトリの名前を変更する最も簡単な方法です。