Skip to content

Conversation

google-labs-jules[bot]
Copy link

This PR implements the list_milestones and search_milestones commands as requested. It follows the existing patterns for adding new tools to the server. The list_milestones command is a straightforward wrapper around the GitHub API. The search_milestones command lists all milestones and then filters them in memory, as the GitHub API does not provide a dedicated search endpoint for milestones. All necessary tests and documentation have been added.

This commit introduces two new commands for interacting with GitHub milestones:
- `list_milestones`: Lists milestones for a repository with options for filtering by state, sorting, and pagination.
- `search_milestones`: Searches for milestones in a repository by a query string, filtering by title and description.

The changes include:
- Implementation of `ListMilestones` and `SearchMilestones` functions in `pkg/github/issues.go`.
- Addition of the new tools to the `issues` toolset in `pkg/github/tools.go`.
- Unit tests for the new functions in `pkg/github/issues_test.go`.
- Updated tool snapshots and generated documentation.
Copy link
Author

👋 Jules, reporting for duty! I'm here to lend a hand with this pull request.

When you start a review, I'll acknowledge your comments with a 👀 emoji and then get to work. I'll push a commit with your requested changes shortly after. Please note there might be a delay between these steps, but rest assured I'm on the job!

I will automatically address your feedback on specific files or sections of files. For any comments you don't want me to act on, just include `(aside)`.

PS: Responding to comments on the entire PR are not yet supported but coming soon.


For security, I will only act on instructions from the user who triggered this task for this pull request.

@yevheniidehtiar yevheniidehtiar self-requested a review September 2, 2025 06:50
@yevheniidehtiar yevheniidehtiar marked this pull request as ready for review September 2, 2025 06:50
@yevheniidehtiar yevheniidehtiar merged commit 07ddd7c into main Sep 2, 2025
@yevheniidehtiar yevheniidehtiar deleted the feat/milestone-commands branch September 2, 2025 06:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant