how to permanently delete a branch in git code example
Example 1: How to Delete Local/Remote Git Branches
$ git branch -r | egrep -v -f /dev/fd/0 <(git branch -vv | grep origin) | xargs git branch -d
Example 2: How to Delete Local/Remote Git Branches
$ git branch -a
# *master
# b1
# remote/origin/master
# remote/origin/b1
$ git push origin --delete b1
# [...]
# - [deleted] b1