User Tools

Site Tools


rename_branch

This is an old revision of the document!


Try to disable the branch protection in the settings/repository page. Check the sections Default Branch and Protected Branches

After that:

Checkout the branch locally.

git checkout branch

Rename it locally

git checkout -b branch_old

delete remote branch

git push --delete origin branch

push the locally renamed branch to remote.

git push --set-upstream origin branch_old
rename_branch.1611066396.txt.gz · Last modified: 2023/09/14 06:06 (external edit)