From 283a96f679173e7def87f06c57ec6206b3820fef Mon Sep 17 00:00:00 2001
From: Mike Kruskal <mkruskal@google.com>
Date: Tue, 10 Dec 2024 16:05:19 -0800
Subject: [PATCH] Pin to Bazel 7 for staleness regen until 8 works

PiperOrigin-RevId: 704879093
---
 ci/push_auto_update.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ci/push_auto_update.sh b/ci/push_auto_update.sh
index 3ee0ec031f50..d1edbd0a0858 100755
--- a/ci/push_auto_update.sh
+++ b/ci/push_auto_update.sh
@@ -19,6 +19,8 @@ if (echo "$previous_commit_title" | grep -q "^Auto-generate files"); then
   exit 0
 fi
 
+BAZEL=bazelisk
+USE_BAZEL_VERSION=7.2.1
 ./regenerate_stale_files.sh
 
 # Try to determine the most recent CL or pull request.