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