Git 从已有分支拉出新分支

git checkout develop
切换到被 copy 的分支（develop），从服务器拉取最新版本
从当前分支 copy 出新的开发分支，命名 dev 分支：
$ git checkout -b dev
Switched to a new branch ‘dev’
把新建的分支 push 到远端：
$ git push origin dev

git branch --set-upstream-to=origin/remote_branch your_branch
其中，origin/remote_branch是你本地分支对应的远程分支；your_branch是你当前的本地分支。