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.
"git@developer.sourcefind.cn:wangsen/mineru.git" did not exist on "62bb89bc77dde060f13526da768a1249d6478351"
