To rename a git branch, for example when one branch is too far behind and you quickly add a new one, you can rename your branch locally, remove it on remote and then upload the renamed branch as a new one. You can do that using this code
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
The command with
git checkout k8 --
may be needed to switch to new branch locally due to error
fatal: 'k8' could be both a local file and a tracking branch. Please use -- (and optionally --no-guess) to disambiguate
This happened when we recreated the same branch and tried to use it locally.