Rename master into main
The main
branch is now a de facto standard for git repository.
That's the default for new gitlab projects since about 2 years.
It would be good to rename it as some point.
The main
branch is now a de facto standard for git repository.
That's the default for new gitlab projects since about 2 years.
It would be good to rename it as some point.