Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

repo: Error out on creating repo with duplicate id #802

Merged
merged 2 commits into from
Aug 8, 2023

Conversation

m-blaha
Copy link
Member

@m-blaha m-blaha commented Aug 4, 2023

Exception is thrown in case the configuration contains repository id
multiple times (including repos added by --repofrompath option).

Resolves: #794
Resolves: #793
Resolves: #399

Exception is thrown in case the configuration contains repository id
multiple times (including repos added by --repofrompath option).

Resolves: #794
Even with --disablerepo=*, the --repofrompath repos should stay enabled.

Resolves: #793
@m-blaha m-blaha force-pushed the mblaha/repofrompath-baseurl branch from b4259c9 to 90d3347 Compare August 4, 2023 14:24
Copy link
Contributor

@kontura kontura left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@kontura kontura added this pull request to the merge queue Aug 8, 2023
Merged via the queue into main with commit 80b06e2 Aug 8, 2023
6 checks passed
@kontura kontura deleted the mblaha/repofrompath-baseurl branch August 8, 2023 05:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
2 participants