Skip to content

By default, use also Koji repository together with rawhide#4

Merged
frenzymadness merged 2 commits into
mainfrom
koji_repos
Mar 5, 2026
Merged

By default, use also Koji repository together with rawhide#4
frenzymadness merged 2 commits into
mainfrom
koji_repos

Conversation

@frenzymadness

Copy link
Copy Markdown
Member

Fixes: #1

Cc: @befeleme @hroncok

@hroncok

hroncok commented Feb 10, 2026

Copy link
Copy Markdown
Member

And koji-source please.

@frenzymadness

Copy link
Copy Markdown
Member Author

And koji-source please.

What is the URL for it? I cannot find it at https://kojipkgs.fedoraproject.org/repos/

@hroncok

hroncok commented Feb 10, 2026

Copy link
Copy Markdown
Member

…t config

And by default, use also Koji repositories together with rawhide.

Fixes: #1
@frenzymadness

Copy link
Copy Markdown
Member Author

This problem made me think about what should happen if you want to use a repo, but you don't have the configuration for it stored locally. I've implemented it in a way that raises a warning and uses a default config for rawhide, koji and fedora repositories. What do you think about it?

@frenzymadness

Copy link
Copy Markdown
Member Author

Ping @hroncok - let me know if you want to review this or not.

@hroncok

hroncok commented Mar 4, 2026

Copy link
Copy Markdown
Member

I don't have the capacity to review this now. If it works, it works. I don't think the tool needs to create any repository configuration, but if it fixes a problem for you, why not.

@frenzymadness frenzymadness merged commit 17bd4d3 into main Mar 5, 2026
7 checks passed
@frenzymadness frenzymadness deleted the koji_repos branch March 5, 2026 07:51
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.

Consider using Koji repos as well by default together with rawhide

2 participants