New GitHub repos to have default branches named “main” instead of “master”