From 615ffce497701287a42ece29556161b00a1eb43a Mon Sep 17 00:00:00 2001
From: Joachim Breitner <mail@joachim-breitner.de>
Date: Fri, 27 Sep 2024 17:12:31 +0200
Subject: [PATCH] =?UTF-8?q?chore:=20pr-release.yml:=20fix=20bot=E2=80=99s?=
 =?UTF-8?q?=20usename=20to=20look=20for?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This didn’t make it in with #5490, but seems to be needed, just as in https://github.com/leanprover-community/mathlib4/pull/17182/files (the code is duplicated in both repos, and should be the same).
---
 .github/workflows/pr-release.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pr-release.yml b/.github/workflows/pr-release.yml
index cf0195b59c92..8ee217af0d25 100644
--- a/.github/workflows/pr-release.yml
+++ b/.github/workflows/pr-release.yml
@@ -167,7 +167,7 @@ jobs:
                                     -H "Authorization: token ${{ secrets.MATHLIB4_COMMENT_BOT }}" \
                                     -H "Accept: application/vnd.github.v3+json" \
                                     "https://api.github.com/repos/leanprover/lean4/issues/${{ steps.workflow-info.outputs.pullRequestNumber }}/comments" \
-                                    | jq 'first(.[] | select(.body | test("^- . Mathlib") or startswith("Mathlib CI status")) | select(.user.login == "leanprover-community-mathlib4-bot"))')"
+                                    | jq 'first(.[] | select(.body | test("^- . Mathlib") or startswith("Mathlib CI status")) | select(.user.login == "leanprover-community-bot"))')"
             existing_comment_id="$(echo "$existing_comment" | jq -r .id)"
             existing_comment_body="$(echo "$existing_comment" | jq -r .body)"