git: delete remote branch

First go out of the branch you want to remove. Then:

git branch -D $BRANCH && git push origin --delete $BRANCH