Fix dead link in dockerrepos.md