*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 <[email protected] <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 [email protected] <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 [email protected].
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.
