From d3a362c046b510e0fa2d169b307196be2d378301 Mon Sep 17 00:00:00 2001
From: Finn Evers <finn@zed.dev>
Date: Thu, 26 Mar 2026 11:16:46 +0100
Subject: [PATCH] Do not congratulate bots for their merged PRs (#52477)

I appreciate its efforts and it helps me a lot, but I do not think
thanking zed-zippy in Discord is the right move to acknowledge its work.

Release Notes:

- N/A
---
 .github/workflows/congrats.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/congrats.yml b/.github/workflows/congrats.yml
index 6a4111a1c5b5143ee9be067911207d5b4ca1448c..a57be7a75ad13829b096477da015ac6a43a325d7 100644
--- a/.github/workflows/congrats.yml
+++ b/.github/workflows/congrats.yml
@@ -29,6 +29,13 @@ jobs:
             }
 
             const mergedPR = prs.find(pr => pr.merged_at !== null) || prs[0];
+
+            if (mergedPR.user.type === "Bot") {
+              // They are a good bot, but not good enough to be congratulated
+              core.setOutput('should_congratulate', 'false');
+              return;
+            }
+
             const prAuthor = mergedPR.user.login;
 
             try {