gitlab删除远端分支和本地分支

git push origin --delete dev_s #dev_s是你要删的远端分支
git branch -d dev #dev是你的本地分支 

git branch -a #查看所有分支
#如果遇到不出现新分支或远程没有的分支本地还有，则需更新
git remote update origin --prune #更新远程分支列表