Closed jsharpe closed 2 years ago
I don't believe that I have the proper privileges to do this. @PiotrSikora is this something that you have access to do?
I don't. @philwo could you make the change or find someone who can?
I can do it! :) Is it OK to just go ahead or do you want to do any preparations?
Thank you - I don't believe that there are any preparations that need to take place first.
I'm sure that we'll find out later :D
The master
branch has been renamed to main
now!
GitHub told me to share this with all members:
Your members will have to manually update their local environments. We'll let them know when they visit the repository, or you can share the following commands:
git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a
Next I'll update Bazel CI.
Edit: All done!
Thank you @philwo !
This would mean a lot to see done. ❤️