GitHub changed the default branch name from master to main.