coding - 运用git出现远程库多了一个本地不存在的文件

Question

远程库有一个User.md和user.md文件，而本地是没有User.md这样文件的，为什么远程库那边却多了一个User.md文件？现在要怎么把远程库的User.md删除？只留下一个user.md文件？
补充一下，现在git pull的时候是显示already up-to-date

Answer 1

MAC と Windows では、デフォルトではファイル名の大文字と小文字が区別されません。User.md と user.md は同じファイルである必要があります。
ただし、Linux を使用するリモート ウェアハウスでは大文字と小文字が区別されます。

ローカル git で大文字と小文字が区別されるように設定してから、もう一度実行してください

リーリー

Answer 2

ファイル システム (または Windows サブシステム) が大文字と小文字を区別しない場合、さらに問題が発生します。基礎となる git コマンドを使用して、User.md を削除したコミットを直接生成し、それをプッシュアップできます。必要に応じてメッセージを残してください。時間があるときに確認します。