Renaming a Git branch both locally and on the remote host.

Rename branch locally

git branch -m old_branch new_branch

Delete the old branch from the remote

git push origin :old_branch

Push the new branch to the remote

git push -u origin new_branch

Content properties

  • Type: Note
  • Category: Software
  • Tags: productivity
  • Custom slug: None

This is a preview of a simpler page design that I'm working on over the next little bit. I've finally added a (click it!) but there's still a few pages left to be converted so don't worry if things don't look quite right just yet 🙏

Content on blog pages use the CC-BY-SA license. The source code and notes use the MIT license. Unsure? Mention me on Mastodon.