Skip to content

Add a new tool to find closing PRs for issues #816

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 13 commits into
base: main
Choose a base branch
from
12 changes: 12 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -526,6 +526,18 @@ The following sets of tools are available (all are on by default):
- `repo`: Repository name (string, required)
- `title`: Issue title (string, required)

- **find_closing_pull_requests** - Find closing pull requests
- `after`: Cursor for forward pagination (use with first/limit) (string, optional)
- `before`: Cursor for backward pagination (use with last) (string, optional)
- `includeClosedPrs`: Include closed/merged pull requests in results (default: false) (boolean, optional)
- `issue_numbers`: Array of issue numbers within the specified repository (number[], required)
- `last`: Number of results from end for backward pagination (max: 250) (number, optional)
- `limit`: Maximum number of closing PRs to return per issue (default: 100, max: 250) (number, optional)
- `orderByState`: Order results by pull request state (default: false) (boolean, optional)
- `owner`: The owner of the repository (string, required)
- `repo`: The name of the repository (string, required)
- `userLinkedOnly`: Return only manually linked pull requests (default: false) (boolean, optional)

- **get_issue** - Get issue details
- `issue_number`: The number of the issue (number, required)
- `owner`: The owner of the repository (string, required)
Expand Down
Loading
Loading