These might serve as a starting point * https://github.com/github/renaming * https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/managing-branches-in-your-repository/renaming-a-branch#updating-a-local-clone-after-a-branch-name-changes * https://www.git-tower.com/learn/git/faq/git-rename-master-to-main
