github.resolve_pr
Identify GitHub repository and pull request details from a given input to streamline code review processes. Simplify PR management for efficient collaboration and analysis.
Instructions
Resolve owner/repo and PR number from an input
Input Schema
Name | Required | Description | Default |
---|---|---|---|
options | No | ||
prId | Yes |