# 删除本地dev分支
git branch -D dev

# 删除远程dev分支
git push origin -d dev