Using /x1/gitbox/bin/change-default-branch.py on gitbox (as root or www-data), you can batch change multiple repos default branch.
Repo names can include .git or not, it doesn't matter.
Changing all repos from master to main:
Changing repos to various branches, but default to main if not specified
Alternately, changing all repos to main by reading from a text list: