Say I\'m in a Git repository. I delete a file and commit that change. I continue working and make some more commits. Then, I find I need to restore that file.
I know
To restore a deleted and commited file:
git reset HEAD some/path git checkout -- some/path
It was tested on Git version 1.7.5.4.