File names in remote are different than locally

Question

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?

Answer 1

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