how to delete file recove in github command line code example

Example: recover lost file git

git log --diff-filter=D --summary
git checkout $commit path/to/file