My problem is this: I am using Git for source control of a project with several developers. My local master branch and the remote master branch appear as synced: doing git push, git pull and git fetch do nothing except showing "everything up to date" messages. But, when I access the remote repository, the content for the file involved is different than the file I have here on my project.
Ideally what I want is to somehow force my local repo to download the remote file from the remote repo and overwrite the local copy. Then I could just reapply the missing commits and do a new push.
Anyone ever have a similar problem?