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