Skip to content

makefile: update the registry to the new one

Pierre-Yves David requested to merge topic/default/update-registry into branch/default

We no longer use dockerhub

Merge request reports