pull a certain file from git code example
Example 1: git pull one file
git checkout origin/master -- path/to/file
// git checkout <local repo name (default is origin)>/<branch name> -- path/to/file will checkout the particular file from the downloaded changes (origin/master).
Example 2: pull file from specific commit git
git checkout <COMMIT_HASH> <path/to/the/messed/up/file>
Example:
git checkout f08a63ff4fa7b8479f8c698e5998ee1afcac3a4e GoodFile