git之删除本地或远程分支
Delete a Local GIT branch
git branch -d branch_name
git branch -D branch_name
The -d option stands for --delete, which would delete the local branch, only if you have already pushed and merged it with your remote branches.
The -D option stands for --delete --force, which deletes the branch regardless of its push and merge status, so be careful using this one!
Delete a remote GIT branch
git push <remote_name> --delete <branch_name>