gnodet commented on PR #1412: URL: https://github.com/apache/maven/pull/1412#issuecomment-1973567418
@kwin Should we check that the repositories are actually not the same ? What's the problem is they point to the same repo ? If the user simply wants to override the policy in the settings ? BTW, I think the mapping from an `id` to a repository URI should actually be defined in the local repository. I think two projects using the same `id` but pointing to different repositories might be problematic too. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
