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
$ git log --diff-filter=D --summary | grep "delete" | sort