main branch renamed in Silver repository

The name of the main branch in the Silver GitHub repository has been 
changed to "main". Most things will automagically update. If you use a 
non-GitHub client for accessing 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

Michael