I saw an answer to a question here that helps restore a deleted file in git.
The solution was
git checkout ^ --
The caret refers to the parent of a particular commit. E.g. HEAD^ refers to the parent of the current HEAD commmit. (also, HEAD^^ refers to the grandparent).
HEAD^
HEAD^^