Hi all,I just changed the default branch of most of our repos from `master` to `main`.
If you have a local git copy you are working on, you can use the following commands to update it as well.
``` git branch -m master main git fetch origin git branch -u origin/main main git remote set-head origin -a ``` All the best, Phil _______________________________________________ Hydrogen-devel mailing list Hydrogen-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hydrogen-devel
