Hi, I'm trying to write a filter for multibranch which accepts PRs with a given github PR label. That part was simple. I also thought I should implement an events subscriber (GHEventsSubscriber) and I'm having trouble figuring out the details of that. I've tried basing it on the PullRequestGHEventSubscriber since it will be creating/deleting heads rather than triggering builds but I couldn't figure out how some things were used, specifically the *heads()* method. My class is pretty much a copy paste with the actions changed to labeled/unlabeled. Right now, I'm getting messages like
> [Wed Mar 14 13:37:45 GMT 2018] Received Pull request #9 labeled in >> repository sfoster/branch_filter_test CREATED event from 10.32.8.197 ⇒ >> http://10.32.8.83:8080/jenkins/github-webhook/ with timestamp Wed Mar 14 >> 13:37:40 GMT 2018 > > Found match against demo (new branch PR-9) > > [Wed Mar 14 13:37:47 GMT 2018] Finished processing Pull request #9 labeled >> in repository sfoster/branch_filter_test CREATED event from 10.32.8.197 ⇒ >> http://10.32.8.83:8080/jenkins/github-webhook/ with timestamp Wed Mar 14 >> 13:37:40 GMT 2018. Matched 1. > > in jenkins.branch.MultiBranchProject.log, and [Wed Mar 14 13:37:47 GMT 2018] Pull request #9 labeled in repository sfoster/branch_filter_test CREATED event from 10.32.8.197 ⇒ http://10.32.8.83:8080/jenkins/github-webhook/ with timestamp Wed Mar 14 13:37:40 GMT 2018 processed in 2.3 sec > > in the projects "repository events" page, but no sign of the new PR in the project. I guess I'm not even sure how a successful result would play out, does it trigger a repository indexing with the given Event? or do the new heads just appear in the project? -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" 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-dev/521f18d1-d55f-4687-aa89-aa9955953bcc%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
