From 1996f94afd7138e8ed1f870b14d7bb0bdd4e5dc8 Mon Sep 17 00:00:00 2001
From: Dante Danelian <danelian@stanford.edu>
Date: Thu, 11 Jun 2026 18:41:08 -0400
Subject: [PATCH] Allow repo admins to enable SDK auto-merge

---
 .github/workflows/stainless-auto-merge.yml | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/stainless-auto-merge.yml b/.github/workflows/stainless-auto-merge.yml
index aea3a32..b5294cf 100644
--- a/.github/workflows/stainless-auto-merge.yml
+++ b/.github/workflows/stainless-auto-merge.yml
@@ -6,13 +6,31 @@ on:
 
 jobs:
   auto-merge:
-    if: github.actor == 'stainless-app[bot]'
     runs-on: ubuntu-latest
     permissions:
       contents: write
       pull-requests: write
     steps:
+      - name: Check actor permission
+        id: actor
+        run: |
+          if [ "$ACTOR" = "stainless-app[bot]" ]; then
+            echo "can_merge=true" >> "$GITHUB_OUTPUT"
+            exit 0
+          fi
+
+          permission="$(gh api "repos/${GITHUB_REPOSITORY}/collaborators/${ACTOR}/permission" --jq '.permission' 2>/dev/null || true)"
+          if [ "$permission" = "admin" ]; then
+            echo "can_merge=true" >> "$GITHUB_OUTPUT"
+          else
+            echo "can_merge=false" >> "$GITHUB_OUTPUT"
+          fi
+        env:
+          ACTOR: ${{ github.actor }}
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
       - name: Enable auto-merge
+        if: steps.actor.outputs.can_merge == 'true'
         run: gh pr merge "${{ github.event.pull_request.number }}" --auto --merge --repo "${{ github.repository }}"
         env:
           GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}