Change master branch to main on our repo

[knelasevero]

Describe the solution you'd like
Change the master branch to a main branch and adapt pipelines accordingly.

What is the added value?
With this we will be more inclusive and follow this new standard.

Give us examples of the outcome

Create new branch from master, names main. Delete master.

Replace all occurrences of master on our github actions workflows.

Protect the new main branch against forced pushes and this kind of stuff.

Observations (Constraints, Context, etc):