Merge branch 'main-is-main-in-gitlabci' into 'main'

Make gitlab ci use main as main branch.

See merge request !100
2 jobs for main in 44 seconds (queued for 2 seconds)