get_pull_request
Retrieve details of a pull request or merge request from GitHub or GitLab repositories to review changes, status, and metadata.
Instructions
Get details of a pull request (merge request in GitLab)
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository identifier (GitLab: "group/project" or ID, GitHub: "owner/repo") | |
| pr_number | Yes | Pull request number |