I imagine so for monorepos with plenty of developers working on it. But wouldn't that be solved easily with "git rebase -i <the_branch_that_change_the_name>" and maybe some other CI/CD pipeline.
It would be a pain, but they're not changing any existing repos so it's up to the team to coordinate if they want to adopt such a change themselves (and GitHub have enhanced some of their tooling around branch renames to make it easier to do as well).
