delete_git_branch

#!/bin/sh
# git-delete-branch <branch_name>
 
if [ $# -ne 1 ]; then
         echo 1>&2 Usage: $0 branch_name
         exit 127
fi
 
echo "First fetching and pruning to reconcile with remote..."
git fetch --all --prune

git push origin :refs/heads/$@
git branch -D $@