Guest User

Untitled

a guest
May 19th, 2019
71
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. git branch -m old_branch new_branch # First, rename branch locally
  2. git push origin :old_branch # Then, delete the outdated branch
  3. 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