I saw an answer to a question here that helps restore a deleted file in git.
The solution was
git checkout ^ --
The carat represents a commit offset (parent). So for instance, HEAD^ means "one commit from HEAD" and HEAD^^^ means "three commits from HEAD".
HEAD^
HEAD^^^