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.

Sign up for GitHub

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
Open

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
d7c32ff
Initial version of find_closing_pull_requests
lumaxis Aug 4, 2025
f21928a
Add support for structured issue queries
lumaxis Aug 4, 2025
bea8311
Support only finding closing PRs within one repo
lumaxis Aug 4, 2025
bce7b38
Fix formatting
lumaxis Aug 4, 2025
66ce1a6
Add support for API options
lumaxis Aug 4, 2025
13de1b9
Update docs
lumaxis Aug 4, 2025
8977899
Fix lint issue
lumaxis Aug 4, 2025
02f356d
Address review comments
lumaxis Aug 4, 2025
34b53db
Adjust for actual GitHub API limits
lumaxis Aug 4, 2025
2aa02b2
Update limit assertions and comments
lumaxis Aug 5, 2025
230ca60
Update pkg/github/server.go
lumaxis Aug 5, 2025
596ce58
Use constant for limit
lumaxis Aug 5, 2025
94af699
Add new RequiredIntArrayParam helper
lumaxis Aug 5, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions README.md
View file
Open in desktop
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