Date
1 - 1 of 1
Changing default branch name on GitHub - action required
Kumar Gala
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: https://github.com/zephyrproject-rtos/zephyr/discussions/35230 thanks - k |
|