GitHub branch source plugin - pull request commits do not trigger builds

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

GitHub branch source plugin - pull request commits do not trigger builds

Hidde
We've an GitHub organization setup with a GitHub branch source configured to do the following:

Discover branches: Exclude branches that are also filled as PRs
Discover pull requests from origin: Merging the pull request with the current target branch revision
Discover pull requests from forks: Merging the pull request with the current target branch revision (Contributors)
Filter by name (with regular expression): master|PR.*

It does detect merges to the master branch (and successfully starts builds), it does however not detect new pushes to a pull request from origin. I can see that it receives a push from GitHub in the 'GitHub Hook Log' but the hook process does detect any changes (see the attached last-github-push.txt).
A new repository scan or a manual build trigger is the only thing that works.

I tried setting a second ref spec (+refs/pull/*:refs/remotes/@{remote}/pr/*) without any effect.

What could be the cause of the hook process not seeing changes on the PR branch?

--
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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/01bdfb4a-efe8-427a-a9c8-53d29240cfd0%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

last-github-push.txt (940 bytes) Download Attachment