a guest May 19th, 2019 65 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
- git branch -m old_branch new_branch # First, rename branch locally
- git push origin :old_branch # Then, delete the outdated branch
- git push --set-upstream origin new_branch # And finally, push the new branch. Also, the new remote needs to be tracked, that is why we set set local branch to do so.
RAW Paste Data