[ https://issues.apache.org/jira/browse/MNG-8050?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17847531#comment-17847531 ]
ASF GitHub Bot commented on MNG-8050: ------------------------------------- kwin commented on PR #1412: URL: https://github.com/apache/maven/pull/1412#issuecomment-2118831511 > I think we should also warn if the URL is equal but the <enabled> flags for either <release> or <snapshot> differ. Otherwise this might lead to subtle issues which are hard to debug. I decided to ignore those subtle differences for now. > Same repositories IDs in settings.xml and POM are not detected > -------------------------------------------------------------- > > Key: MNG-8050 > URL: https://issues.apache.org/jira/browse/MNG-8050 > Project: Maven > Issue Type: Improvement > Reporter: Konrad Windszus > Assignee: Konrad Windszus > Priority: Major > > When the same repository ID is used in repositories defined in > # {{settings.xml}} and > # POM > the one from the POM is just silently ignored and no ERROR is emitted. > OTOH when defining repositories with the same ID in POM the following error > is emitted: > {code} > [ERROR] Some problems were encountered while processing the POMs: > [ERROR] 'repositories.repository.id' must be unique .... > {code} > A similar error should be emitted for repository ID clashes in > {{settings.xml}} (both local and global) and POM > -- This message was sent by Atlassian Jira (v8.20.10#820010)