远程文件名与本地文件名不同
File names in remote are different than locally
我在 Azure DevOps 上有一个 git 存储库。
我注意到 DevOps 门户上的文件名与我本地存储库中的文件名不同。但是，当我尝试 git pull 时，它说回购是同步的。 git 历史是一样的，看来是真的。
这是一个差异的例子：
在本地，文件名为 myFile.json。在 DevOps 中，文件名为 myfile.json.
哪个版本是真的？
有说明您的问题和解决方法的文档：Git case sensitivity
我在 Azure DevOps 上有一个 git 存储库。
我注意到 DevOps 门户上的文件名与我本地存储库中的文件名不同。但是，当我尝试 git pull 时，它说回购是同步的。 git 历史是一样的，看来是真的。
这是一个差异的例子：
在本地，文件名为 myFile.json。在 DevOps 中，文件名为 myfile.json.
哪个版本是真的？
有说明您的问题和解决方法的文档：Git case sensitivity