Command-line Fu: Deleting a remote git branch

For reference, delete a remote git branch on origin

git push origin --delete branch/to/delete


Previous:moab 6
Next:Command-Line Fu: mysqldump | gzip one-liner