在本地删除分支

$ git branch -d dev

删除名为 dev 的分支，如果其更改与另一个分支合并且不会丢失。如果 dev 分支确实包含尚未合并但将丢失的更改，则 git branch -d 将失败：

$ git branch -d dev
error: The branch 'dev' is not fully merged.
If you are sure you want to delete it, run 'git branch -D dev'.

根据警告消息，你可以使用 -D 标志强制删除分支（并丢失该分支中的任何未合并的更改）：

$ git branch -D dev