Use pull_request_number to extract the id of the Pull Request on GitHub.
Merge pull request #25 from calavera/use_pull_request_number

Use pull_request_number to extract the id of the Pull Request on GitHub.