Re: boot.fedoraproject.org default repo on installation