From 6be3a5ab90e66aa066e71c9a7b5deb4d12b82395 Mon Sep 17 00:00:00 2001
From: bherbruck <brennen.herbruck@gmail.com>
Date: Fri, 16 Oct 2026 22:16:44 +0000
Subject: [PATCH] Generated files: push with the bot's deploy key, which the
 merge queue lets through

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 .github/workflows/generated.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/generated.yml b/.github/workflows/generated.yml
index 20951305..23a39297 100644
--- a/.github/workflows/generated.yml
+++ b/.github/workflows/generated.yml
@@ -26,6 +26,8 @@ jobs:
       - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
         with:
           ref: main
+          # main goes through the merge queue; this deploy key may push past it.
+          ssh-key: ${{ secrets.GENERATED_FILES_DEPLOY_KEY }}
       - uses: dtolnay/rust-toolchain@stable
       - uses: Swatinem/rust-cache@6323deb102c322ba6fcbdcafc7e3dddab59af2b6 # v2.9.2
         with: