Renamed git master branch to main

We renamed the master branch of all git repositories to main.

These commands update the branch name in your local git repository:

git branch -m master main
git fetch origin
git branch -u origin/main main