docs: update AGENTS instructions

This commit is contained in:
Peter Steinberger
2026-02-18 00:16:36 +01:00
parent 5acec7f79b
commit 75e11fed5d

View File

@@ -114,6 +114,7 @@
## Git Notes
- If `git branch -d/-D <branch>` is policy-blocked, delete the local ref directly: `git update-ref -d refs/heads/<branch>`.
- 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