Git, フォルダー名修正、大文字 <->小文字

 GItで管理するフォルダー名を大文字を小文字に変えても検知できないので

一回、フォルダーを削除し追加する必要がある。

** AAA -> aaa

①AAAフォルダー削除

$git rm -r AAA

git commit 

git push

②aaaフォルダー追加

aaaファイルを物理コピー

git add

git commit

git push

※AAA, aaaの中にはファイルがある前提