LearnNewsExamplesServices
Frontmatter
id7752
titleAdd `update_comment` Tool to GitHub Workflow Server
stateClosed
labels
enhancementgood first issueai
assignees[]
createdAtNov 12, 2025, 9:21 AM
updatedAtNov 12, 2025, 3:31 PM
githubUrlhttps://github.com/neomjs/neo/issues/7752
authortobiu
commentsCount0
parentIssuenull
subIssues[]
subIssuesCompleted0
subIssuesTotal0
blockedBy[]
blocking[]
closedAtNov 12, 2025, 3:31 PM

Add update_comment Tool to GitHub Workflow Server

Closed v11.2.0 enhancementgood first issueai
tobiu
tobiu commented on Nov 12, 2025, 9:21 AM

During a recent PR review (PR #7741), the agent posted a comment that contained an error. The only way to correct this was for the user to manually edit the comment. There is currently no tool to programmatically edit or update existing comments.

This ticket proposes creating a new update_comment tool to fill this gap, allowing for more robust and self-correcting agent behavior.

Acceptance Criteria:

  1. A new tool, update_comment, is added to the GitHub Workflow MCP server.
  2. The tool must accept a comment_id and a new body as parameters.
  3. The tool should be added to openapi.yaml with clear documentation.
  4. A corresponding service method should be implemented, likely within PullRequestService.mjs.
  5. The new tool must be registered in toolService.mjs.
tobiu added the enhancement label on Nov 12, 2025, 9:21 AM
tobiu added the good first issue label on Nov 12, 2025, 9:21 AM
tobiu added the ai label on Nov 12, 2025, 9:21 AM
MannXo cross-referenced by PR #7755 on Nov 12, 2025, 11:38 AM
tobiu closed this issue on Nov 12, 2025, 3:31 PM