Is it possible to docker pull
from a private repository if you tag a new name and delete the original one?
For example,
docker pull harbor.mycompany.com/something/batman:1.0 # pull from remote repo
docker tag harbor.mycompany.com/something/batman:1.0 batman:1.0 # rename to pretty name
docker rmi harbor.mycompany.com/something/batman:1.0 # delete ugly name
docker pull batman:1.0 # does not work
This related post shows how to change the docker image name but does not address pulling from Harbor or a private repo: Docker how to change repository name or rename image?