Git远程显示原始文件和重命名文件

Question

以下是我为达到当前状态而执行的步骤

1）创建一个文件abc.java并提交

2）将文件abc.java重命名为ABC.java并提交

3）将本地git配置更改为忽略false，以便git检测文件大小写更改

4）它在我的本地工作了git commit和git push

但问题是我的远程分支现在有文件abc.java和ABC.java但我的本地很好。不知道如何从远程分支中删除旧文件并使其等同于我的本地文件。

Answer 1

我会做git pull和git rm abc.java。并提交/推送。