Re: pungi repo priorities