- [REMINDER] Changing default branch name on GitHub - action required
Re: [REMINDER] Changing default branch name on GitHub - action required
toggle quoted messageShow quoted text
On May 14, 2021, at 3:36 AM, Kumar Gala <firstname.lastname@example.org> wrote:
Reminder to all that this change has gone into effect.
You may additionally want to make this change in your own GitHub fork of Zephyr.
On May 12, 2021, at 10:35 AM, Kumar Gala <email@example.com> wrote:
We will be changing the default branch on github from 'master' to 'main' on Friday (May 14, 2021).
There is no action required for any open PRs, however you'll need to update your local git clone as follows:
git branch -m master main
git fetch origin
git branch -u origin/main main
You'll need to be utilizing at least west 0.10.1 or later.
Will announce here when this change is made on Friday.
I’ve also opened this GitHub discussion on this topic as well:
Join firstname.lastname@example.org to automatically receive all group messages.