In case anyone else is playing along (or for future me), I fixed the first problem by specifying "master" instead of "*" for branches to build:
[image: Inline images 1] It noticed force pushes after that too. And I discovered that the plugin was listening <https://github.com/jenkinsci/github-branch-source-plugin/blob/d2dd00792bb5138e013809da92a6a08f5163297a/src/main/java/org/jenkinsci/plugins/github_branch_source/PullRequestGHEventSubscriber.java#L123>, but the right event wasn't being sent by the webhook; so I added it (at the org level): [image: Inline images 2] There doesn't seem to be any way to turn off concurrent builds, but there is an issue here <https://issues.jenkins-ci.org/browse/JENKINS-25638> tracking it. -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/CAABECY2-h4grqv5QPk_C-iLKy7OSqq%2BhS5ewi9AkfgQUegN%2BxA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
