Skip to content

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

Merged
frenzymadness merged 2 commits intomainfrom
koji_repos
Mar 5, 2026
Merged

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

Conversation

@frenzymadness
Copy link
Member

Fixes: #1

Cc: @befeleme @hroncok

@hroncok
Copy link
Member

hroncok commented Feb 10, 2026

And koji-source please.

@frenzymadness
Copy link
Member Author

And koji-source please.

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

@hroncok
Copy link
Member

hroncok commented Feb 10, 2026

…t config

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

Fixes: #1
@frenzymadness
Copy link
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
Member Author

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

@hroncok
Copy link
Member

hroncok commented Mar 4, 2026

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