Fix PR workflow.

This commit is contained in:
Christian Gunderman
2026-04-24 16:55:13 -07:00
parent e18b32045f
commit 24b678be21
3 changed files with 63 additions and 2 deletions
+9
View File
@@ -59,6 +59,15 @@ repository health.
terminal escalations to prevent spam.
- Recommend specific changes to GitHub Workflows, Triage scripts, or repository
`CONTRIBUTING.md`/`GEMINI.md` guidelines.
- **Pull Request Preparation**: If the `ENABLE_PRS` environment variable is
`true` and you are proposing script or configuration changes, you MUST
generate a file named `pr-description.md` in the root directory. This file
will be used as both the commit message and PR description. The file MUST
include:
1. What the change is.
2. Why it is recommended.
3. Which metric is expected to be improved.
4. By how much the metric is expected to improve.
### 7. Execution Constraints
+1 -1
View File
@@ -2,7 +2,7 @@
# This policy guarantees permission for shell commands and file writing in the bot's CI environment.
[[rule]]
toolName = ["run_shell_command", "write_file"]
toolName = ["run_shell_command", "write_file", "replace"]
decision = "allow"
# Max priority to ensure it overrides all default and workspace rules.
priority = 999