Check if a repo mirror has migrated before adding it to the mirrorlist#108

Merged

matyasselmeci merged 3 commits intoosg-htc:el9from matyasselmeci:pr/el9-check-if-migrated

Dec 27, 2024

+36-10

Commits on Dec 27, 2024

Check if a mirror has migrated to the distrepos format before adding it to the mirrorlist
matyasselmeci
committed
Add final newline to mirrorlist files
matyasselmeci
committed
Uncomment mirror hosts -- it's OK to have them in the list since we check for whether they migrated
matyasselmeci
committed