作者在服务器上安装了git，和远程建立了连接，但是后面的操作中并没有从服务器上的git去更新代码，是如何做到的
我觉得步骤应该是这样的，当你修改idea中的代码然后push后，github会有变化，但是服务器的git没有变，服务器git需要pull一下（关键就是没有看到这个步骤）然后在打成war包部署，
在Jenkins的源码管理中已经配置了git，任务在运行过程中会利用jenkins git功能自动先 pull 最新的代码，不用显示的在shell 命令中写git pull.
还有一个问题是，我用的是gitlab，但是在ssh gitlab的时候总是报Permission denied (publickey)，gitlab的步骤应该和github一样吧，如果作者有相关的经验，希望传授一下下，