- Use persist-credentials: false for actions/checkout, so we don't
leak the github token credentials to subsequent jobs.
- Remove one / from the Edit/Write permissions. Currently, with the
absolute path from github.workspace, we expand to three slashes while
we only need two.
with:
# Need full history for git worktree add to work on all PR commits.
fetch-depth: 0
+ persist-credentials: false
- name: Download PR context
uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c
"allow": [
"Bash",
"Read",
- "Edit(//${{ github.workspace }}/**)",
- "Write(//${{ github.workspace }}/**)",
+ "Edit(/${{ github.workspace }}/**)",
+ "Write(/${{ github.workspace }}/**)",
"Grep",
"Glob",
"Agent",