[mod] #408: Switch default branch from dev/master to main
Change in the CI, changes in the documentation Enable branch check in release.sh, can be commented for releases on other branches for maintenance releases.
parent
9295ede2
No related branches found
No related tags found