Skip to content

Commit 276f4d9

Browse files
authored
[copilot] Add missing Android PR reviewer tools (#12664)
The Android PR Reviewer could not fetch external documentation or filter large diffs, contributing to agent timeout and workflow failure. - **Tool access** - Enable the built-in `web-fetch` tool. - Allow `sed` for bounded diff inspection. - **Generated workflow** - Recompile `android-reviewer.lock.yml` with the updated permissions. - Fixes #12661
1 parent 5c74beb commit 276f4d9

2 files changed

Lines changed: 6 additions & 2 deletions

File tree

.github/workflows/android-reviewer.lock.yml

Lines changed: 4 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

.github/workflows/android-reviewer.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -50,8 +50,10 @@ tools:
5050
- grep
5151
- head
5252
- jq
53+
- sed
5354
- tail
5455
- wc
56+
web-fetch:
5557
github:
5658
github-token: ${{ secrets.GITHUB_TOKEN }}
5759
toolsets: [pull_requests, repos]

0 commit comments

Comments
 (0)