如何重命名分支並刪除GitHub上的「舊」主分支？

Question

在我的Github回購https://github.com/mainzed/labelingsystem-server/branches有兩個分支。默認分支「rdf4j」是正確的分支。陳舊的分支「主」可以被刪除。

如何安全地刪除「主」分支並將「rdf4j」重命名爲「主」？

Answer 1

git checkout rdf4j 
git branch -D master # delete old master 
git branch -m rdf4j master # rename to master 
git push origin +master :rdf4j # force-push the new master and delete remote rdf4j