get_pr_info
Retrieve detailed information about a pull request or merge request, including title, description, author, and branches from GitHub or GitLab.
Instructions
Get PR/MR detailed information including title, description, author, and branches
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| provider | Yes | Code hosting provider (github or gitlab) | |
| repo | Yes | Repository path (e.g., owner/repo or group/project) | |
| pr_id | Yes | PR/MR number | |
| host | No | GitLab host for self-hosted instances (optional, default: gitlab.com) |