Command-line Fu: Deleting a remote git branch
For reference, delete a remote git branch on origin
git push origin --delete branch/to/delete
For reference, delete a remote git branch on origin
git push origin --delete branch/to/delete