Skip to content

Commit e7311d3

Browse files
committed
rm get_pr_comments tool
authenticating the tool is hairy in sdk + GH actions container env, and its been broken for more than a month and no one has known. ripping it out
1 parent 7dcb852 commit e7311d3

File tree

3 files changed

+1
-76
lines changed

3 files changed

+1
-76
lines changed

README.md

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -207,8 +207,7 @@ The app uses Amp's toolbox feature to provide GitHub operations as simple execut
207207

208208
Available tools:
209209
- `leave_inline_comment` - Leave line-specific code feedback
210-
- `leave_general_comment` - Leave overall PR feedback
211-
- `get_pr_comments` - Retrieve existing PR comments
210+
- `leave_general_comment` - Leave overall PR feedback
212211

213212
## Architecture
214213

config.yml

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -49,8 +49,6 @@ amp:
4949
5050
IMPORTANT: Always use the tools available in the toolbox (prefixed with tb__) to leave comments while performing your review.
5151
52-
Read any existing PR comments before leaving new comments.
53-
5452
Review the diff content to identify issues. If you find any issues, leave specific inline comments for each issue found.
5553
5654
Suggested fixes are optional snippets of code that can directly replace the full line the indicated issue is on for an inline comment.

toolbox/get-pr-comments.js

Lines changed: 0 additions & 72 deletions
This file was deleted.

0 commit comments

Comments
 (0)