Skip to content

fix hostname of gitlab instance

if gitlab.hzdr.de is used, nothing works when pushing back the commit to the gitlab server

Merge request reports