I have a repository in Github with two branches, master
and dd
. I gave the name dd
by mistake and I want to change this name to something else from the Github GUI.
I didn't find a way to do so in the branch webpage:
https://github.com/user/repo/tree/dd
nor in the branches option page (I do have an option to change what will be the default branch):
https://github.com/user/repo/settings/branches
How could a branch name be changed in Github?
I work with the command line but yet to have learn Git in a serious way.