From 6e74a1889ed6e01ec647a78ea6c02ba49ef9f9bb 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 6a4111a1c5..a57be7a75a 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 {