Gitのリモートショーここで、オリジナルと名前を変更し、両方のファイル

Question

は、私は、現在の状態

1）ファイルabc.javaを作成し、

2コミット）ABCにファイルabc.javaの名前を変更するに到達するために行われるステップです。 Javaおよびコミット

3）Gitは、ファイルケースの変更

4を検出するために偽IGNORECASEするために、ローカルのgitの設定を変更します）これはgitのコミットなかった私の地元で働いていたとgitのプッシュ

しかし、問題は、私のリモートブランチがabc.javaとABC.javaの両方のファイルを持つようになりましたが、私のローカルは正常です。私のリモートブランチから古いファイルを削除し、それを私のローカルと同等にするために何をすべきかを知らない。

Answer 1

git pullとgit rm abc.javaとします。コミット/プッシュ。