RSS
 

Git Branch Deletion – The quick note edition

22 Jul

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

 
 

Tags:

  • http://david.ragingnexus.com David Ramalho

    Yes, I only write blog entries on the 22nd :)