SHARE
TWEET

Untitled

a guest May 19th, 2017 39 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  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
RAW Paste Data
Top