I already created a main branch. If this PR gets merged, I suggest to not delete master immediately, but to simply switch the base branch to main, and delete master at a future stage, once the transition has been demonstrated to not have negative side effects.
If merged:
[x] Switch default branch to main
[x] Update branch protection rules to protect main instead of master
I already created a
main
branch. If this PR gets merged, I suggest to not deletemaster
immediately, but to simply switch the base branch tomain
, and deletemaster
at a future stage, once the transition has been demonstrated to not have negative side effects.If merged:
main
main
instead ofmaster
master
read-only to prevent mistakesmaster
branch