I removed a file in my local Git repo. I want the file back by updating my Git repo.
I run the following unsuccessfully
git pull
It says upToDate, but I did not get the newest file. The public repo at github does not use SVN, so the problem cannot be SVN.
How can you update your local Git repo, such that you get your removed File back to your computer?