From abc96e9ead1f3ecbf0da7615e41526be7dc7d4c7 Mon Sep 17 00:00:00 2001
From: Kim Morrison <477956+kim-em@users.noreply.github.com>
Date: Wed, 18 Feb 2026 07:35:20 +1100
Subject: [PATCH] chore: remove batteries dependency from ProofWidgets4 in
 release_repos.yml (#12535)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This PR removes the batteries dependency from ProofWidgets4 in
`release_repos.yml`. ProofWidgets4 no longer has any `require`
statements in its lakefile, so it doesn't depend on batteries.

🤖 Prepared with Claude Code

Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>
---
 script/release_repos.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/script/release_repos.yml b/script/release_repos.yml
index 8eca6bc538..3cb68e6765 100644
--- a/script/release_repos.yml
+++ b/script/release_repos.yml
@@ -77,8 +77,7 @@ repositories:
     toolchain-tag: false
     stable-branch: false
     branch: main
-    dependencies:
-      - batteries
+    dependencies: []
 
   - name: aesop
     url: https://github.com/leanprover-community/aesop