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?