New continuous integration platform for Orekit

Yes, except for Hipparchus which repository is hosted on Github, the Community Edition of Gitlab fit our needs. The same goes for the community editions of SonarQube and Nexus.

No, we don’t have to. As I mentioned in another post, we have a fallback solution for Hipparchus thanks to Gitlab Actions ((but we could also have relied on Travis CI, Circle CI, Drone or another hosted CI platform).