Permanently delete a git feature branch locally and remotely

delete locally

git checkout $BRANCH_NAME$
git branch -D $BRANCH_NAME$

delete remotely

git push origin --delete $BRANCH_NAME$