How to Change the Default Branch with Github

Paul Xiong
Aug 11, 2022

--

Go to github, setting of a repo, change the branch’s default name, as following :

then:

# change the default branch to master from master1
$ git branch -m main master
$ git fetch origin
$ git push -u origin/master1 master
# delete local and remote branch
$ git branch -dr origin/master1

--

--

Paul Xiong
Paul Xiong

Written by Paul Xiong

Predicting the next word (token) is what powers ChatGPT, while predicting the next photo (embedding) forms the foundation of ImageGPT.

No responses yet