Re: Is mixing yum repos ok?