IDEA中Terminal使用Git进行版本回退

push后发现想回退版本

1. 先查看需要回退的那个版本号，在IDEA下面的terminal中输入（终端相当于window 的cmd）

2. 先在gitlab上查看需要回退的那个版本号：94f7cf541428c12a13b5b94323cf0094d716840b
   在IDEA下面的terminal中输入（终端相当于window 的cmd）

      git reset --hard 94f7cf541428c12a13b5b94323cf0094d716840b
   

3. 这时候idea会回退版本，耐心等一会，IDEA会关闭当前项目，重新导入在本地仓库上一个版本的项目，检查下代码是不是上次版本的代码；

4. 这时候push，发现是失败的，因为本地仓库的版本低于远程仓库的版本；需要：

    git push origin develop --force