I have a git repository on Azure DevOps. I have noticed that the file names on the DevOps portal are different than in my local repository. However, when I try to git pull it says that there repo is in sync. The git history is the same, so it seems to be true. Here's an example of a difference: Locally, the file name is myFile.json. In DevOps the file name is myfile.json.

Which version is the true one?

CodePudding user response：

There is documentation that explains your issue and ways to resolve it: Git case sensitivity