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 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/3410c32c-1f7a-42e1-844a-416343231d11%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
