Thank you @sdinot and @gbonnefille for your nice work on this!
I agree with @bcazabonne that Gitlab CI + SonarQube are nicer to use than Jenkins.
Just a thought on this, @sdinot correct me if I’m wrong.
If you push a branch on the repository it will go through CI + Sonar.
However if you fork and go through the merge request process then the CI will not be activated.
Since we have a small configuration (only one job running on the CI at a time) we don’t want to be overflowed by all users’ forks on the CI.
So if you have developer access and want your work to be checked before integration it seems better to push a separate branch before merging it on develop.