Skip to content

Instantly share code, notes, and snippets.

@jeromedumas
Last active August 8, 2019 14:17
Show Gist options
  • Save jeromedumas/601def9b2a32904d739c744182957de8 to your computer and use it in GitHub Desktop.
Save jeromedumas/601def9b2a32904d739c744182957de8 to your computer and use it in GitHub Desktop.
[Git] Rename git branch locally and remotely
git branch -m old_branch new_branch # Rename branch locally
git push origin :old_branch # Delete the old branch
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment