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