Skip to content

add skill to aid developers in addressing pr comments#915

Open
balos1 wants to merge 4 commits into
developfrom
skill/devs-address-pr-comments
Open

add skill to aid developers in addressing pr comments#915
balos1 wants to merge 4 commits into
developfrom
skill/devs-address-pr-comments

Conversation

@balos1
Copy link
Copy Markdown
Member

@balos1 balos1 commented Apr 16, 2026

I started making this while handling PR #854. I think it would have been smoother if I had thought through the skill beforehand. Here is what I suggest:

1.After received PR comments, go through each one and leave a reply which an agent could use to decide if the comment should be addressed and how. If the comment you are replying to is a suggestion that can just be accepted, then just reply something like "LGTM" or "OK". If it is open ended, add some detail about how to address it. If you don't want the suggestion to be implemented, then say something along those lines. You dont have to reply to every comment, but it does help steer the agent.
2. Use the skill in your agent. In codex, you do something like

> $devs-address-pr-comments address <PR URL>
  1. Wait for the agent
  2. Review the markdown file in .agents/scratch for explanations on what the agent did
  3. The agent will have made multiple commits, review the diff with a command git diff origin/<branch>..HEAD
  4. Push

@balos1 balos1 added the skill label Apr 17, 2026
@balos1 balos1 added this to the SUNDIALS v7.8.0 milestone Apr 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant