However, I also found that "Scan Repository Now" does not see the pull request as updated, even if the tip of the PR branch is a merge that points to latest master. Log outputs: Getting remote branches... Checking branch master Getting remote pull requests... ‘Jenkinsfile’ found Met criteria No changes detected: master (still at 76ff9c62d27d6b60666c08d0686e3100974fd1fe) .... Checking pull request #47 ‘Jenkinsfile’ found Met criteria No changes detected: PR-47 (still at 5729a1e31f5d0691d16801604312de0af03da009+7e881478aa951a0f9caad966907c68c5c058a935 (98e8973772d6f2075ea775f7e985e0a739e3fc34)) Current master is 76ff, so the PR checker should not have tried to use 5729+7e88, but 5729+76ff. Question remains whether this is misinformation from github, or incorrect logic in github-branch-source. |