[解決済み] Git リポジトリで、ディレクトリの名前を適切に変更するには？

質問

リネームするディレクトリを任意の名前の新しいディレクトリにコピーすればうまくいくと思います。 古いディレクトリを削除する そして git add , git commit と push のすべてです。 しかし、これが最良の方法なのでしょうか？

どのように解決するのですか？

基本的な名前の変更（または移動）です。

git mv <old name> <new name>

大文字・小文字を区別してリネームします。 casesensitive から CaseSensitive -2ステップを使用する必要があります。

git mv casesensitive tmp
git mv tmp CaseSensitive

( Git における大文字小文字の区別について... )

...そしてコミットしてプッシュするのが、git リポジトリのディレクトリ名を変更する最もシンプルな方法です。