Add URL as mirror if repo was added with unofficial mirror
Previously, if the repo was added with an unofficial mirror, this mirror would get lost and would need to be re-added again manually as a user mirror.
Previously, if the repo was added with an unofficial mirror, this mirror would get lost and would need to be re-added again manually as a user mirror.