How do I checkout just one file from a git repo?
git checkout --
Ref: https://git-scm.com/docs/git-checkout
Dup: Undo working copy modifications of one file in Git?