Skip to content

Instantly share code, notes, and snippets.

View davidrpugh's full-sized avatar

David R. Pugh davidrpugh

  • King Abdullah University of Science and Technology
  • Thuwal, Saudi Arabia
  • X @TheSandyCoder
View GitHub Profile
@lttlrck
lttlrck / gist:9628955
Created March 18, 2014 20:34
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