Update references to main branch after rename

[guillemj]

The master branch has been renamed to main, so we need to reflect this in the CI and documentation, even though github might automatically redirect these for now.

I just noticed this when pulling from origin. :)

[rra]

Thank you!