fix docker image name comparison
This PR it to make it clear that docker_name
is not the same as name.lower()
.
name
may contain any printable character, whereas docker_name
is restricted to the character set used by docker image/container names (and this is the name we use in the registry)