分支可以查看所有，或者你切换过去看能不能成功，就知道有没有了

git branch -d [dev]

删除的是本地的分支，只影响到你自己本地电脑上的代码。

git push origin --delete dev
删除的是远端服务器上的分支，这样除了你以外的人就无法再从github的仓库里拉取dev这个分支了。

不一样， git branch -D是删除本地分支，git push origin --delete 删除分支并且推送远程仓库

1. 在本地拉取远程主分支代码:
   git clone 远程仓库主分支地址
   

2. 在本地拉取远程子分支代码:
   git checkout -b 子分支名称 origin/子分支名称
   git pull

3. 在本地主分支上合并子分支代码:
   git checkout master
   git merge 子分支

4. 将本地主分支推送到远程仓库:
   git push