Fixes #8101 - Show docker pull url for repository details page
Merge pull request #4819 from adamruzicka/docker-pull-url

Fixes #8101 - Show docker pull url for repository details page