Skip to content

Fix registry push

Jakob Maljaars requested to merge fix-registry-push into master

This fixes (even though its a duct tape solution) the push to the docker.io registry, thereby fixing the failing CI/CD status on the master branch

Merge request reports