https://communityblog.fedoraproject.org/git-repo-branch-name-changes/