在本地和远程机器上切换到过去的一个commit

当使用GitLab server的时候，有时候需要将代码切换到过去的一个commit，因为我把当前的commit搞得一团糟。

在本地开发机器上，用这个命令切换

git reset --hard 05a0753bd3e24922dd46bb6a04dc93dda9a9ec9f

然后push到GitLab server上，这是不行的，即便我用了--force选项。

remote: error: denying non-fast-forward refs/heads/develop (you should pull first)

最简单的方法就是先删除远程的branch，然后push本地的branch到GitLab server。

git push origin :develop
git push origin develop

还有一种方法，更简单，就是使用-f参数push

git  push -f