diff options
| -rw-r--r-- | dispatch.sr.ht/github.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dispatch.sr.ht/github.md b/dispatch.sr.ht/github.md index d7a1e2f..dc2fc35 100644 --- a/dispatch.sr.ht/github.md +++ b/dispatch.sr.ht/github.md @@ -37,6 +37,7 @@ The following environment variables are set when building pull requests: - `GITHUB_EVENT`: the event type ("push") that triggered this build - `GITHUB_PR_NUMBER`: the pull request number - `GITHUB_PR_TITLE`: the title of the pull request +- `GITHUB_PR_BODY`: the body message (aka cover letter) of the pull request - `GITHUB_BASE_REPO`: the full name (e.g. "username/repo_name") of the base repo - `GITHUB_HEAD_REPO`: the full name (e.g. "username/repo_name") of the head repo (fork) |