`git push origin --delete <branch-name>` is much clearer.