ファイル名の大文字小文字変更をgitに反映する

解決方法

git mv でファイル名を変更してpushする

解説

フォルダ上のファイル名の変更やmvコマンドだけでは
以下のような問題が起きる可能性がある

• 他の人がpullした時に別のファイルとして認識される
• 他の人がpullした時にローカルに変化が起きない

git mv でファイル名を変更することでこれを回避でき
gitに新規の名前を認識させることができる

通常のmv oldName newNameの後に
git add newName git rm oldName するのと同じ

// -f で同ファイル名の場合強制上書きを行う
$ git mv -f name.txt Name.txt

余談

ignorecase = false をローカルのgitconfigに設定にすることで
大文字小文字を認識するようになるがpushの情報としてはリネームが記録されず
他の環境でpullした時矛盾が発生するためおすすめしない

git config core.ignorecase false

ignore case 大文字小文字を区別しない

なぜtrueがデフォルトなんだろう
知ってる人がいたら教えてください