Git Branch Deletion - The quick note edition
Are you Sir Git-a-lot ? Do you use branches like there's no tomorrow? Here's a couple of worth while quick notes
Delete a remote branch
$ git push <remote> :<branch_name>
Delete local branch (obvious, but let's group things)
$ git branch -d <branch_name>
Clean up your local repository of all those deleted remote branches
$ git remote prune <remote>
Now go be a happy little hu-man