Those repos are not used in Rawhide builds but they make branching easier. Fixes: 43fa429 correct reponames Fixes: a79ee9b rawhide moves on toward f40
43fa429
a79ee9b