From c20378682e699f30b18155919fc0ccb03fbc19b2 Mon Sep 17 00:00:00 2001
From: Kim Morrison <477956+kim-em@users.noreply.github.com>
Date: Sun, 14 Dec 2025 16:17:42 +1100
Subject: [PATCH] chore: add guidance to not merge PRs autonomously in release
 command (#11661)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This PR adds explicit guidance to the `/release` command that Claude
should never merge PRs autonomously during the release process - always
wait for the user to do it.

🤖 Prepared with Claude Code
---
 .claude/commands/release.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.claude/commands/release.md b/.claude/commands/release.md
index 10129eb699..11e8c12ac5 100644
--- a/.claude/commands/release.md
+++ b/.claude/commands/release.md
@@ -39,6 +39,7 @@ These comments explain the scripts' behavior, which repositories get special han
 
 ## Important Notes
 
+- **NEVER merge PRs autonomously** - always wait for the user to merge PRs themselves
 - The `release_steps.py` script is idempotent - it's safe to rerun
 - The `release_checklist.py` script is idempotent - it's safe to rerun
 - Some repositories depend on others (e.g., mathlib4 depends on batteries, aesop, etc.)