Issue Type: Bug Bug
Assignee: Honza Brázdil
Components: ghprb
Created: 04/Sep/14 9:51 PM
Description:

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

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

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.

Project: Jenkins
Priority: Major Major
Reporter: Everett Toews
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators.
For more information on JIRA, see: http://www.atlassian.com/software/jira

--
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to