Re: Pungi: how to set priority for repos ?