Revise git branching strategy.

* Set up "develop" as principal (~main) branch where to push new features,
  hence acting as a nightly stable version.
* Introduce "rX.Y" release branches, that need protection and CI/CD.

This commit was cherry-picked into r2.0 from main.
Original commit: 0585e4ca