分支使用完毕之后需要删除，执行如下命令查看所有的分支，目的是需要删除掉dev分支。
git branch -a
先执行如下命令，切换到master分支
git checkout master
切换完成之后，执行如下命令删除掉远程的dev分支
git push origin --delete dev
命令执行后，可以看到远程分支已经被删除掉了，但是本地分支还在，还需执行如下命令来删除本地分支
git branch -D dev
删除结果如下
PS
上述的是完全通过命令行本地操作来删除分支，有些情况下，是远程分支被删除掉了，但是本地的信息与远程信息不同步。如下图，本地存储的信息是有dev_1分支的，但是远程被删除掉了。
执行如下命令来查看远程的origin的信息
git remote show origin
可以看到红框部分提示的信息不同步，执行提示的命令
git remote prune origin
可以看到dev_1的远程映射已经被删除，然后再将本地的dev_1分支删掉即可
