git: delete remote branch

To remove a remote branch use:

git push origin --delete <branch>