Since no objections to changing the name of the default git branch were raised, we started to implement the change from master to main.
During the weekly conference call we created a new branch called main in each repository, copied master to main, and updated the configuration files. Please refer to JDO-793 for details how to change your local workspace. Master should no longer be used. Regards, Craig Craig L Russell c...@apache.org
