今天发现git pull origin master 的时候部分文件无法获取，然后学到了一个新方法：
git fetch
git checkout origin/master -- path/to/file
可以单独获取github repo中的单个文件
