我在Azure DevOps上有一个git存储库。我注意到DevOps门户上的文件名与本地存储库中的文件名不同。然而，当我尝试git pull时，它表明回购是同步的。git的历史是一样的，所以这似乎是真的。以下是一个差异示例：在本地，文件名为myFile.json。在DevOps中，文件名为myfile.json。
哪个版本是真的？
有文档解释了您的问题和解决方法：Git区分大小写