报错情况
本地文件夹中删除文件后，git pull无效。显示如下：
*@*** MINGW64 ~/****/haha (master)
$ git pull origin master
From https://gitee.com/****/haha
* branch master -> FETCH_HEAD
Already up to date.
解决
方法一
命令如下：
git checkout head <文件名> 比如错删a.txt:
git checkout head a.txt一个命令恢复全部文件：
git checkout head .方法二
参考文章如下：
【Git 教程系列第 22 篇】删除本地文件后，使用 git pull 命令从远程仓库无法拉取到被删除文件的解决方案_git 删除本地文件再pull没有_Allen Su的博客-CSDN博客
输入代码如下：
git fetch --all
git reset --hard origin/master以上两步似乎已经可以了。还有第三步代码，我试了一下似乎不用：
git pull
