Skip to content

Conversation

google-labs-jules[bot]
Copy link

This change adds a new API endpoint to edit a milestone in a GitHub repository. The new edit_milestone tool allows updating the title, state, description, and due date of an existing milestone. The implementation includes the new tool definition, handler logic, unit tests, and registration within the existing toolset framework.

…repository.

The new `edit_milestone` tool allows users to update the title, state, description, and due date of an existing milestone.

The implementation includes:
- A new `EditMilestone` function in `pkg/github/issues.go` to handle the API logic.
- Registration of the new tool in the `issues` toolset in `pkg/github/tools.go`.
- A comprehensive unit test for the `EditMilestone` tool in `pkg/github/issues_test.go`, covering success and error cases.
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-assigned this Sep 1, 2025
@yevheniidehtiar yevheniidehtiar marked this pull request as ready for review September 1, 2025 18:22
@yevheniidehtiar yevheniidehtiar merged commit f3e54b4 into main Sep 1, 2025
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