Wrong SonarQube quality badge on the homepage
The SonarQube quality gate badge present on the Orekit homepage is set to look at the develop branch while the coverage badge is set on the master branch. Would it be better to set both to look at the master branch ?