这几天被一个巨傻逼的问题折磨死了。
我在 IDE 里面，把一个文件名字改为驼峰形式，感觉看起来漂亮点。
然后尼玛我就发现 push 到 github 之后，竟然有两个文件。
比如 github repo 和本地都有一个文件 abc ，版本号是相同的
然后我在本地把 abc ，改为 Abc ，
然后本地只有 Abc ，但 push 之后， github repo 里，会有 abc 和 Abc 同时存在！
而且我每次修改更新本地的 Abc ， push 之后， github repo 里 abc 有更新， Abc 没更新！
你要说既然 github 上有 2 个文件，那我就 pull 一下， 看能不能把两个文件都拉下来，然后删一个不就行了？
pull 不下来！
后来只好在vps里新建一个文件夹，git init，git pull之后，用“git rm abc”删了这个老文件，然后commit，再push到github上，这时github上的abc才算删除了。
然后，如果不删除本地repo，直接git pull，会把本地Abc给删了。我感觉日了狗了，只好把本地repo删干净，重新在本地新建一个文件夹，再git init，git pull，这才搞好。
这个问题让我搞得觉得自己智商都下降了。
有谁有啥经验的，帮忙指点一下这为啥出现这么奇葩的问题么？
我在 IDE 里面，把一个文件名字改为驼峰形式，感觉看起来漂亮点。
然后尼玛我就发现 push 到 github 之后，竟然有两个文件。
比如 github repo 和本地都有一个文件 abc ，版本号是相同的
然后我在本地把 abc ，改为 Abc ，
然后本地只有 Abc ，但 push 之后， github repo 里，会有 abc 和 Abc 同时存在！
而且我每次修改更新本地的 Abc ， push 之后， github repo 里 abc 有更新， Abc 没更新！
你要说既然 github 上有 2 个文件，那我就 pull 一下， 看能不能把两个文件都拉下来，然后删一个不就行了？
pull 不下来！
后来只好在vps里新建一个文件夹，git init，git pull之后，用“git rm abc”删了这个老文件，然后commit，再push到github上，这时github上的abc才算删除了。
然后，如果不删除本地repo，直接git pull，会把本地Abc给删了。我感觉日了狗了，只好把本地repo删干净，重新在本地新建一个文件夹，再git init，git pull，这才搞好。
这个问题让我搞得觉得自己智商都下降了。
有谁有啥经验的，帮忙指点一下这为啥出现这么奇葩的问题么？
Select Language