"git@git.imp.fu-berlin.de:agnumpde/dune-solvers.git" did not exist on "251ecfbbc4b3bf96ff34d53094e6f735f27af976"
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.