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 [email protected].
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.
Started on Nov 29, 2017 1:51:37 PM
Started by event from 192.30.252.40 ⇒ https://acme.com:8080/github-webhook/ on
Wed Nov 29 13:51:37 GMT 2017
Using strategy: Specific revision
[poll] Last Built Revision: Revision 4adbe0ce378f242ba596058bf56d0ec6a5ae9386
(PR-871)
> git --version # timeout=10
using GIT_ASKPASS to set credentials Default account for accessing GitHub
> git ls-remote -h https://github.com/organization/repo.git # timeout=10
Found 8 remote heads on https://github.com/organization/repo.git
Using strategy: Specific revision
[poll] Last Built Revision: Revision 4adbe0ce378f242ba596058bf56d0ec6a5ae9386
(PR-871)
> git --version # timeout=10
using GIT_ASKPASS to set credentials Default account for accessing GitHub
> git ls-remote -h https://github.com/organization/repo.git # timeout=10
Found 8 remote heads on https://github.com/organization/repo.git
Done. Took 2 sec
No changes
