As part of improving the inclusiveness of the language used in the OVS we would like to change the name of the default branch from master to main.

Superficially this seems easy, as GitHub allows branches to be renamed. And for a new branch to be created and set as the default branch. However, there are issues to be considered with regards to transitioning users of the tree, including access via git pull, and access by GitHub actions, and GitHub Issues.