Git remove both remote and local branch

alter Git v1.7.0, you can delete a remote branch using

$ git push origin --delete branch_name

remove branch at local

$ git checkout master
$ git branch -D branch_name