git: deleting a remote branch

http://stackoverflow.com/questions/2003505/how-do-i-delete-a-git-branch-both-locally-and-remotely

git push origin --delete branchName