After releasing 4.0, I wonder if we should switch to the same workflow as Orekit, i.e. have a develop branch with the -SNAPSHOT versions and a master (or rather main to follow current naming practices) with the latest official release.
So I have set up main and develop branches in Hipparchus and updated the github workflow to consider these two branches.
I also deleted master which has been superseded, replaced it in SonarQube by main.
I would like to make develop the default branch now (for MR). The idea would be to merge into main only after releases like we do in Orekit. Is that ok?