"git-rts@gitlab.mpi-sws.org:daniel.louwrink/lambda-rust.git" did not exist on "d46265ee7f32d720adb6d3272d839227d2569877"
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.