*Discover pull requests from origin*: Merging the pull request with the
current target branch revision
*Filter by name (with wildcards)*: develop master
*Discover branches*: All branches
I didn't set the "..forks" option because we don't work with forks.
I have now changed "Discover branches" to match yours.
After scanning the repository it says:
Checking pull-requests...
Checking pull request #216
<https://github.ibm.com/security-services/certificate-management-servicebroker/pull/216>
1 pull requests were processed
But there's no job starting.
Tried also closing and re-opening the PR, which typically sends a request
again to Jenkins, but this also didn't trigger the job.
On Friday, September 22, 2017 at 1:26:23 PM UTC+3, Stephen Connolly wrote:
>
> What behaviours have you configured?
> [image: Inline images 1]
> If you didn't configure "discover from origin" then it won't discover from
> origin
>
> (likely the upgrade/rollback/upgrade screwed up the auto-migration)
>
> On 22 September 2017 at 03:18, Idan Adar <id...@adar.me <javascript:>>
> wrote:
>
>> Why is it saying this?
>>
>> > Checking pull request #215
>> <https://github.ibm.com/security-services/certificate-management-servicebroker/pull/215>
>>
>> > Submitted from origin repository, skipping
>>
>>
>> I have a repository and in this repository I have two branches: develop and
>> master.
>>
>> I created another branch, "devops", from which I make a pull request to
>> develop.
>>
>>
>> I do want this PR discovered, and have the Jenkinsfile executed.
>>
>> --
>> 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 jenkinsci-use...@googlegroups.com <javascript:>.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/jenkinsci-users/301ac6bc-4211-4bab-b4c0-b06443807d07%40googlegroups.com
>>
>> <https://groups.google.com/d/msgid/jenkinsci-users/301ac6bc-4211-4bab-b4c0-b06443807d07%40googlegroups.com?utm_medium=email&utm_source=footer>
>> .
>>
>> For more options, visit https://groups.google.com/d/optout.
>>
>
>
--
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 jenkinsci-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-users/4bcf3ec4-febb-4c72-9891-88547bf74235%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
