diff --git a/AGENTS.md b/AGENTS.md index b28076d7dd..dd4ba975b5 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -114,6 +114,7 @@ ## Git Notes - If `git branch -d/-D ` is policy-blocked, delete the local ref directly: `git update-ref -d refs/heads/`. +- Bulk PR close/reopen safety: if a close action would affect more than 5 PRs, first ask for explicit user confirmation with the exact PR count and target scope/query. ## Security & Configuration Tips