git-scripts get-mainbranch: try to determine the primary branch of a repository (usually master or main, but I've also seen trunk, gh-pages, ...)