Advertisement
Guest User

Untitled

a guest
Mar 26th, 2017
70
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.10 KB | None | 0 0
  1. # Delete branch
  2.  
  3. ## local
  4. git branch -d <branch_name>
  5.  
  6. ## remote
  7. git push origin --delete <branch_name>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement