yasin_github_get_pull_request
Fetch a specific GitHub pull request using owner, repository, and pull request number. Get read-only details from the Yasin ecosystem's GitHub state.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | ||
| number | Yes | ||
| repository | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||