Skip to content

Instantly share code, notes, and snippets.

View pedrokermitgoncalves's full-sized avatar

Pedro Gonçalves pedrokermitgoncalves

View GitHub Profile
@pedrokermitgoncalves
pedrokermitgoncalves / gist:1721d578df486adb7c558e3dace417cb
Created July 8, 2020 15:59 — forked from lttlrck/gist:9628955
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