a guest May 19th, 2017 40 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
- git branch -m oldbranch newbranch # Rename branch locally
- git push origin newbranch # Push the new branch
- git push origin :oldbranch # Delete the old branch, might have to update settings if oldbranch is the default branch
RAW Paste Data