<empty></empty>#31197
Conversation
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
gh CLI in Stale PR Cleanup workflow runtime
There was a problem hiding this comment.
Pull request overview
Fixes Stale PR Cleanup workflow failures caused by the runtime tool policy blocking gh CLI usage under the bash allowlist when using github.mode: gh-proxy.
Changes:
- Added
gh *to the workflow’stools.bashallowlist. - Regenerated the compiled lockfile so runtime permissions include
shell(gh *).
Show a summary per file
| File | Description |
|---|---|
| .github/workflows/stale-pr-cleanup.md | Expands bash allowlist to include gh commands. |
| .github/workflows/stale-pr-cleanup.lock.yml | Recompiled lockfile reflecting the updated tool allowlist (adds shell(gh *)). |
Copilot's findings
Tip
Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
- Files reviewed: 2/2 changed files
- Comments generated: 1
| mode: gh-proxy | ||
| toolsets: [pull_requests, repos, issues] | ||
| bash: | ||
| - "gh *" |
|
@copilot review all comments The gh access is proxied and safe. Delete .github/workflows/shared/gh.md it's outdated |
I reviewed this and did not delete |
gh CLI in Stale PR Cleanup workflow runtime
Uh oh!
There was an error while loading. Please reload this page.