Main branch renamed in Personalization Github repository

The name of the main branch in the Personalization GitHub repository has been
changed to "main". Most things will automagically update. If you have a
clone of the repository, you should run the following commands to update
your clone:

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

Best,
Roy