Git manager rename Master branch

[Fred-Sheppard]

The default branch in the git manager may only be named "Master". A setting would be nice to rename it to "Main" or similar, since that is what many modern repos are using. This currently limits the ability to pull from a repo with "Main" as the default branch, as it tries to find the non-existent "Master" branch.