How to delete a remote branch - Gitorious | Google Groups

How to delete a remote branch - Gitorious | Google Groups: Cleaning up remote repositories that include now-defunct branches.