Renaming a branch in GitHub

by

As mentioned, delete the old one on GitHub and re-push, though the commands used are a bit more verbose than necessary:

git push origin :name_of_the_old_branch_on_github
git push origin new_name_of_the_branch_that_is_local

Dissecting the commands a bit, the git push command is essentially:

git push <remote> <local_branch>:<remote_branch>

So doing a push with no local_branch specified essentially means “take nothing from my local repository, and make it the remote branch”. I’ve always thought this to be completely kludgy, but it’s the way it’s done.

As of Git 1.7 there is an alternate syntax for deleting a remote branch:

git push origin --delete name_of_the_remote_branch

As mentioned by @void.pointer in the comments

Note that you can combine the 2 push operations:

git push origin :old_branch new_branch

This will both delete the old branch and push the new one.

This can be turned into a simple alias that takes the remote, original branch and new branch name as arguments, in ~/.gitconfig:

[alias]
    branchm = "!git branch -m $2 $3 && git push $1 :$2 $3 -u #"

Usage:

git branchm origin old_branch new_branch

Note that positional arguments in shell commands were problematic in older (pre 2.8?) versions of Git, so the alias might vary according to the Git version. See this discussion for details.

More Related Contents:

  1. How can I delete all Git branches which have been merged?
  2. git – how to get default branch?
  3. Forking vs. Branching in GitHub
  4. Git push: “fatal ‘origin’ does not appear to be a git repository – fatal Could not read from remote repository.”
  5. Renaming branches remotely in Git
  6. Delete local Git branches after deleting them on the remote repo
  7. How to protect “master” in github?
  8. How to get default Git branch?
  9. git push error: src refspec main does not match any on linux
  10. How to determine the URL that a local Git repository was originally cloned from?
  11. How to find the nearest parent of a Git branch
  12. How to remove file from Git history?
  13. master branch and ‘origin/master’ have diverged, how to ‘undiverge’ branches’?
  14. Git: Could not resolve host github.com error while cloning remote repository in git
  15. How do I remove local (untracked) files from the current Git working tree?
  16. There is no tracking information for the current branch
  17. Can deleted .git be restored?
  18. Merging between forks in GitHub
  19. Depend on a branch or tag using a git URL in a package.json?
  20. How do I avoid the specification of the username and password at every git push?
  21. Why Git is not allowing me to commit even after configuration?
  22. git status shows fatal: bad object HEAD
  23. How to fix commit order in GitHub pull requests, broken by git rebase?
  24. Switch branch names in git
  25. How to sync with a remote Git repository?
  26. Git push failed, “Non-fast forward updates were rejected”
  27. git clone hangs forever on github
  28. how to log out of one Github account and use another account?
  29. Pushing a large github repo fails with “unable to push to unqualified destination: master”
  30. npm install package from github repo subfolder

Leave a Comment