GitHub to rename the default branch to main