github_get_pr
Get one GitHub pull request: description, mergeability, diff stats per file, reviews, comments and review comments on the diff.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository as owner/name, e.g. "octocat/hello-world" (a github.com URL works too) | |
| number | Yes | Pull request number |