Guest User

Untitled

a guest
May 24th, 2019
83
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. # Rename the local branch to the new name
  2. git branch -m <old_name> <new_name>
  3.  
  4. # Delete the old branch on remote - where <remote> is, for example, origin
  5. git push <remote> --delete old_name
  6.  
  7. # Push the new branch to remote
  8. git push <remote> new_name
  9.  
  10. # Reset the upstream branch for the new_name local branch
  11. git push <remote> -u new-name
RAW Paste Data