LearnNewsExamplesServices
Frontmatter
titleAdds update_comment Tool to GitHub Workflow
authorMannXo
stateMerged
createdAtNov 12, 2025, 11:38 AM
updatedAtNov 12, 2025, 3:31 PM
closedAtNov 12, 2025, 3:31 PM
mergedAtNov 12, 2025, 3:31 PM
branchesdev ← enhancement/Add-update_comment-Tool-to-GitHub-Workflow-Server
urlhttps://github.com/neomjs/neo/pull/7755
Merged
MannXo
MannXo commented on Nov 12, 2025, 11:38 AM

Summary:

Adds update_comment tool to enable programmatic editing of existing PR/issue comments, addressing the gap i where agents couldn't correct their own comment errors.

Closes #7752

What kind of change does this PR introduce? (check at least one)

  • Bugfix
  • Feature
  • Code style update
  • Refactor
  • Build-related changes
  • Other, please describe: enhancement

Does this PR introduce a breaking change? (check one)

  • Yes
  • No

If yes, please describe the impact and migration path for existing applications:

The PR fulfills this requirement:

  • It's submitted to the dev branch, not the main branch

If adding a new feature, the PR's description includes:

  • A convincing reason for adding this feature (to avoid wasting your time, it's best to open a suggestion issue first and wait for approval before working on it)

Other information:

tobiu
tobiu commented on Nov 12, 2025, 3:29 PM

Input from Gemini 2.5 pro:

✦ This PR introduces a very useful update_comment tool, which will significantly improve agent capabilities by allowing them to correct or update their own comments. The implementation is clean, follows existing patterns, and the OpenAPI documentation is comprehensive.

LGTM!

tobiu
tobiu commented on Nov 12, 2025, 3:31 PM

i like this PR a lot! off topic: we should remove the "LGTM" part from the create_comment tool. gemini now seems to use it every single time ;)