Re: epel7-infra and epel7 conflicts wrt pagure updates (or, can we have an epel7-infra DistTag?)