git pull 的作用相当于git fetch之后执行git merge，git pull origin develop意思是拉取远程develop分支到本地当前分支。
git fetch origin develop意思是拉取远程分支，但是并没有将远程分支的代码合并到本地当前分支，我们可以使用git diff origin/develop、git diff FETCH_HEAD查看远程分支与本地分支的不同。
git fetch后，git merge origin/develop 将远程develop分支代码合并到本地。
