切换到master分支,然后
git branch -a
查看全部分支
git push origin --delete dev
删除远程dev分支
git branch -d dev
删除本地dev分支