ブランチの名前を変更し、GitHubの "古い"マスターブランチを削除するには？

Question

私のGithub Repoにはhttps://github.com/mainzed/labelingsystem-server/branchesに2つの枝があります。デフォルトのブランチ "rdf4j"が正しいブランチです。失効したブランチ "master"は削除できます。

「master」ブランチを安全に削除し、「rdf4j」の名前を「master」に変更するにはどうすればよいですか？

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