Cancel Fedora CI if the pull request is merged #3023
Description
Description
Currently, Fedora CI keeps running even after the pull request has been merged. This is particularly problematic when merging the PR requires a rebase first. In that case the rebase will trigger new scratch builds, and then the PR gets merged a few seconds later, and these builds will never get looked at.
It would be great if pending CI jobs would get cancelled when the PR is merged, similar to how GitHub CI works.
(We currently have at least 3*9 zombie scratch builds running for a single rpm due to this...)
Importance
No response
Workaround
- There is an existing workaround that can be used until this is implemented.