I would like to rename the master branch to main. This is current best practice and would make it consistent with the main CDT git repo. Any objections?