Skip to content

[MNG-6114] Elements from the global settings should be ordered before…#92

Closed
michael-o wants to merge 1 commit intomasterfrom
MNG-6114
Closed

[MNG-6114] Elements from the global settings should be ordered before…#92
michael-o wants to merge 1 commit intomasterfrom
MNG-6114

Conversation

@michael-o
Copy link
Copy Markdown
Member

… elements from the user settings

Central from global settings with 'file:' comes first and is ignored by the
mirrorOf definition. The next central definition is ignored too due to
MNG-7018/MNG-5984. As long as these issues aren't resolved we need to
mirror even local repos to make the IT work as intended.

@michael-o michael-o requested a review from rfscholte December 24, 2020 23:17
asfgit pushed a commit that referenced this pull request Dec 24, 2020
… elements from the user settings

Central from global settings with 'file:' comes first and is ignored by the
mirrorOf definition. The next central definition is ignored too due to
MNG-7018/MNG-5984. As long as these issues aren't resolved we need to mirror
even local repos to make the IT work as intended.

This closes #92
… elements from the user settings

Central from global settings with 'file:' comes first and is ignored by the
mirrorOf definition. The next central definition is ignored too due to
MNG-7018/MNG-5984. As long as these issues aren't resolved we need to mirror
even local repos to make the IT work as intended.

This closes #92
@pzygielo
Copy link
Copy Markdown

pzygielo commented Oct 9, 2025

Can this branch be removed?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants