[REMINDER] Changing default branch name on GitHub - action required
Kumar Gala
Reminder to all that this change has gone into effect.
toggle quoted message
Show quoted text
You may additionally want to make this change in your own GitHub fork of Zephyr. - k On May 12, 2021, at 10:35 AM, Kumar Gala <kumar.gala@...> wrote: |
|