Question about github pull request builder and environment variables

[Flavio Junqueira <fp...@apache.org>]

Hi there,

I have created a pre-commit queue for zookeeper to work with github pull requests following the instructions here:

https://blogs.apache.org/infra/entry/github_pull_request_builds_now <https://blogs.apache.org/infra/entry/github_pull_request_builds_now>

It seems to be working fine, but there is one thing I'm not being able to find. I wanted to output as part of the e-mail message to the list some more information, e.g., the pull request number, but I don't know if this information is available through some environment variable. I had a look at the "Environment Variables" link in the build, but it doesn't have anything. Does anyone here know how I can get the information about the pull request so that I can use in the queue configuration?

Thanks,
-Flavio