Repository navigation

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

Merged

frenzymadness merged 2 commits into

mainfrom

Mar 5, 2026

Merged

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

Commits on Feb 11, 2026
- If a repository is not configured, raise a warning and use the default config
  frenzymadness
  committed
  b25c02c
- Print warning about created repositories only in verbose mode
  frenzymadness
  committed
  ec7eb06