"git@gitlab.stud.idi.ntnu.no:jshjelse/proggis.git" did not exist on "3867893e0fab66f385edf3d3d095abeb562342fb"
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.