The legacy "wmflabs" domain for docker-registry is still used in many places. We should replace it with a non-legacy domain <something>.toolforge.org
Related tasks:
The legacy "wmflabs" domain for docker-registry is still used in many places. We should replace it with a non-legacy domain <something>.toolforge.org
Related tasks:
I misunderstood what docker-registry.toolforge.org is, it's not a replacement for docker-registry.tools.wmflabs.org, but it's a public-facing web frontend for browsing the docker registry.
The desired replacement for the legacy "wmflabs" domain is the "svc.toolforge.org" domain, already tracked in T366453: toolforge: introduce docker-registry.svc.toolforge.org FQDN to replace docker-registry.tools.wmflabs.org.