I went ahead with a script to search for the Pull Request number. Here is
the script in case anyone might find it useful:
https://gist.github.com/codyebberson/16be8a5eb796a444ab69bfded7f64324
--
You received this message because you are subscribed to the Google Groups
"Jenkins Users" group.
To
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
