It is a question.
When I create a PR on Github, I can see that a new build is triggered correctly. However, when I push a new commit to the source branch of the PR, it does not generate a new build.
The configuration used for Branch Sources:
- Discover branches: exclude branches that are also filled as PRs
- Discover PRs: The current pull request revision
What should be the right configuration to trigger rebuilds when either branch or a PR is changed?