Advertisement
Guest User

Untitled

a guest
May 19th, 2017
58
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.24 KB | None | 0 0
  1. git branch -m oldbranch newbranch # Rename branch locally
  2. git push origin newbranch # Push the new branch
  3. git push origin :oldbranch # Delete the old branch, might have to update settings if oldbranch is the default branch
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement