зеркало из https://github.com/docker/hub-tool.git
Merge pull request #31 from ingshtrom/use-registry-over-index-hostname
switch from using index.docker.io to registry.docker.io
This commit is contained in:
Коммит
d980df7327