Skip to content

Instantly share code, notes, and snippets.

View manutuero's full-sized avatar
:octocat:

Manuel de Dios Tuero manutuero

:octocat:
View GitHub Profile
@manutuero
manutuero / gist:a4d68a5f66b071e0d8aa0cb84b67163b
Created July 27, 2018 14:53 — 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