Do not congratulate bots for their merged PRs (#52477)

Finn Evers created 2 weeks ago

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

Change summary

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

Detailed changes

.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 {