From 75e11fed5db0b0dd3c83644f63feab357ed35e37 Mon Sep 17 00:00:00 2001
From: Peter Steinberger <steipete@gmail.com>
Date: Wed, 18 Feb 2026 00:16:36 +0100
Subject: [PATCH] docs: update AGENTS instructions

---
 AGENTS.md | 1 +
 1 file changed, 1 insertion(+)

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 <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