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.
It was easy for other projects like daquiri:
- create
main
- lock
master
(no body can anymore push there)
Obviously people have to rebase on main
to follow the up-to-date version.
Maybe there is better approach.