On Tuesday, May 28, 2019 10:22:34 PM CEST Pavel Raiskup wrote: > On Tuesday, May 28, 2019 8:07:54 PM CEST Miro Hrončok wrote: > > What happens when 2 or more PRs to different repos have the same number? > > .. > > Does the second build "see" the previous one? > > Unfortunately, yes.
I was wrong here, sorry. The '*:pr:* repo is not in list of repositories for the second build. Pavel _______________________________________________ copr-devel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedorahosted.org/archives/list/[email protected]
