git log --diff-filter=D --summary | grep delete
git log --all -- some/path/to/deleted.file
git checkout shaofthecommitthatdeletedthefile^ -- some/path/to/deleted.file
git log --diff-filter=D --summary | grep delete
git log --all -- some/path/to/deleted.file
git checkout shaofthecommitthatdeletedthefile^ -- some/path/to/deleted.file