How do I checkout just one file from a git repo?
git checkout branch_or_version -- path/file
example: git checkout HEAD -- main.c
git checkout HEAD -- main.c