Advertisement
Guest User

Untitled

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