Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Handle multiple pull requests with same revision
Due to rebasing the same revision that triggered the pipeline for one pull request can occur in other pull requests. With this not only the first result from `gh search prs` is used, changes from all of them are considered. This means that some Tasks that might not need to run are still ran, this should be acceptable given it guarantees that all Tasks that need to run have ran.
- Loading branch information