It doesn't. :-( Not in the latest version of the plugin. On Tuesday, May 30, 2017 at 6:46:35 AM UTC-7, Arvind Jayaprakash wrote: > > The environment variable CHANGE_ID contains the PR number > > On Friday, May 26, 2017 at 6:07:20 AM UTC+5:30, Cody Ebberson wrote: >> >> Hello, >> >> I'm configuring Github + Jenkins + Sonar. Almost everything is working, >> and I am incredibly pleased (great job!) I'm now struggling with one >> missing piece which seems like it should be simple. >> >> The last piece I need is the Github pull request *number* as an >> environment variable to pass to Sonar for "preview" mode analysis. >> >> Here are the relevant components and versions: >> >> Jenkins version 2.46.3 >> Jenkins "GitHub Branch Source Plugin" version 2.0.5 >> Maven version 3.3.9 >> Maven Sonar plugin version 3.3.0.603 >> Sonar version 6.3.1.21392 >> Sonar Github plugin version 1.4.1 >> >> Per https://stackoverflow.com/a/32095346 it looks like the old "GitHub >> Pull Request Builder" plugin added a ${ghprbPullId} environment variable. >> That environment variable is not set by the "GitHub Branch Source Plugin" >> (as far as I can tell). >> >> A dump of "env" does not show anything about pull requests, change ID's, >> etc. The known pull request number is not anywhere in the logs. >> >> Suggestions? >> >> If this isn't available through Jenkins, I think we could do some curl + >> Github API magic to search for the Pull Request number, but that obviously >> seems suboptimal. >> >> Thanks in advance! >> >> Cody >> >>
-- 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/202c9cd6-f995-41b4-9509-69124ac0fefd%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
