"git@gitlab.inria.fr:solverstack/chameleon.git" did not exist on "5f268a5ca1c4cbcb21a13f32d07e224adc31be90"
Merge requests are a place to propose changes you've made to a project and discuss those changes with others
Interested parties can even contribute by pushing commits if they want to.