add "PR Reviews" section to AGENTS.md#1844
Conversation
With guidelines for addressing review feedback on pull requests, matching our existing guidelines.
|
|
| Branch | OmarTawfik/add-pr-reviews-to-agents-md |
| Testbed | ci |
⚠️ WARNING: Truncated view!The full continuous benchmarking report exceeds the maximum length allowed on this platform.
🐰 View full continuous benchmarking report in Bencher
⚠️ WARNING: No Threshold found!Without a Threshold, no Alerts will ever be generated.
|
|
||
| ## PR Reviews | ||
|
|
||
| When addressing review feedback on a pull request: |
There was a problem hiding this comment.
I feel this may be better suited for a skill, or do you have a particular workflow in mind?
|
|
||
| When addressing review feedback on a pull request: | ||
|
|
||
| - **Work on top of the latest remote.** Before addressing feedback, fetch and check the remote branch in case the user pushed to it; always build on the most recent changes. |
There was a problem hiding this comment.
I deliberately don't give my agents access to ssh or other tokens beyond a tightly scoped gh token, which means they cannot pull remotes. So this would break my workflow.
With guidelines for addressing review feedback on pull requests, matching our existing guidelines.