"docs/git@git.cccv.de:voidptr/camp2023-infos.git" did not exist on "3bc7c8fa8bc444819dfe06975e131844f803023f"
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.