Rename master branch to main in documentation and GitHub workflows
5 files changed