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?
I was wrong here, sorry. The '*:pr:* repo is not in list of repositories for
the second build.