A客户端执行了 git push，B客户端 git pull之后，A客户端 git reset HEAD^ ，并且 git push -f了，此时B客户端git pull 并不能拉取最新A的变更。需要 git reset --hard HEAD^
参考：https://www.php.cn/faq/544410.html
