git how to properly delete a branch code example
Example 1: Delete a Git Branch In Local And Remotely
git push <remote_name> --delete <branch_name>
Example 2: 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