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.
"...src/git@compmath.korea.ac.kr:students/awesomeproject.git" did not exist on "f5bdfb1f694b3042d4eb2d95ef75b7076ed8ff2a"
