Set the pull request number as an environment variable

XMLWordPrintable

    • Type: New Feature
    • Resolution: Not A Defect
    • Priority: Major
    • Component/s: ghprb-plugin
    • None

      To get the PR number that triggered the build you have to do a hack like,

      curl -sO $BUILD_URL/consoleText
GITHUB_PR_NUMBER=$(head -1 consoleText | sed 's/.*pull request #\([0-9]*\) of.*/\1/')
echo "GITHUB_PR_NUMBER = $GITHUB_PR_NUMBER"

      It would be much better if the GitHub Pull Request Builder Plugin just set an environment variable like GITHUB_PR_NUMBER to the PR number.

            Assignee:
            Honza Brázdil
            Reporter:
            Everett Toews
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: