Is there any way to get the id of a pull request, in the brave new pipeline world? It was exposed as $ghprbPullId when using the GHPRB <https://github.com/janinko/ghprb> plugin.
I'm using a GH Org Folder & Multibranch, with a Jenkinsfile. Also, what do I have to do to get something to appear in the pull requests folder (see attached)? There are open PRs. Thanks, Graham -- 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/f8e8c340-3171-458b-af5b-bdf59dc7157e%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
