Sign up to request clarification or add additional context in comments.
Comments
2
To add to manojids answer, if you already git rm /path/to/deleted/file you can still git reset HEAD /path/to/deleted/file and then git checkout -- /path/to/deleted/file