This repository was archived by the owner on Jul 5, 2021. It is now read-only.
This repository was archived by the owner on Jul 5, 2021. It is now read-only.
Change master branch to main on our repo #144
Description
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):