撤销错误的git push

背景

git push之后查看工作区状态，发现上一次push的文件不是那一次应该push的，而此时工作区的文件已经做了修改，既然上次的弄错了，此时就做一下补偿，把上次的push撤销，然后把现有的文件传上服务器。

方法

首先，撤销本地的commit

git commit --soft HEAD^

然后，本地已经撤销了上一次提交的commit，但是服务器上还有上一次commit的信息，所以将本地commit强制覆盖服务器commit

git push origin main -f

此时上一次的错误push已经被抹去，可以开始将工作区现有的工作进行提交。