"git@git.astron.nl:rtsd/hdl.git" did not exist on "dd14b5635ba73ae58a487e72cac2beaf14f593a8"
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.