Closed kersten1 closed 3 months ago
I created main branch, but seems like I don't have enough permission to change the default branch... @cmuellner @jjscheel need your help here
I created main branch, but seems like I don't have enough permission to change the default branch... @cmuellner @jjscheel need your help here
Thanks for driving this!
I can simply use the GitHub interface to rename the branch to main
.
This also takes care of the following:
But to do that, I need to delete the main
branch that you have just created.
Deleted the main
branch and renamed master
to main
.
Closing, as completed.
As a gentle reminder, the "Friendly Terminology" policy link which uses the "Inclusive Naming" community link includes the word "master" as a Tier 1: Replace Immediately word.
You can follow these steps to rename your branch: https://gist.github.com/danieldogeanu/739f88ea5312aaa23180e162e3ae89ab