If you are like me and you have a remote branch somewhere the public can pull stuff from (e.g., repo.or.cz), and you wonder how you are going to remove those remote branches that you already removed in your local copy, the following is the command to do it:
git push {repository} :heads/{your_branch_here}
I found it in the git mailing list somewhere and posting it here for *my* reference, and possibly other people as well.
cheers.
Filed under: software
