GIT Tip: Delete a Remote Branch

In GIT, when you're done with a remote branch you can*:

git push origin :mybranchname

Source: http://progit.org/book/ch3-5.html

* "can" doesn't mean "must" or "have to", you know...