From 37a5faff2595fa45bfd7c8fccbe67d7ca717f315 Mon Sep 17 00:00:00 2001
From: "Michael B. Gale" <mbg@github.com>
Date: Fri, 23 Oct 2026 12:19:29 +0100
Subject: [PATCH] Switch to `pull_request.user.login`

---
 .github/workflows/pr-dequeued.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/pr-dequeued.yml b/.github/workflows/pr-dequeued.yml
index 7d39ef97e..0c47c9dc7 100644
--- a/.github/workflows/pr-dequeued.yml
+++ b/.github/workflows/pr-dequeued.yml
@@ -21,8 +21,8 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           PR_NUMBER: ${{ github.event.pull_request.number }}
           REASON: ${{ github.event.reason }}
-          SENDER: ${{ github.event.sender.login }}
+          USER: ${{ github.event.pull_request.user.login }}
         run: |
-          echo "@$SENDER The pull request was removed from the merge queue (\`$REASON\`)." \
+          echo "@$USER The pull request was removed from the merge queue (\`$REASON\`)." \
             "Please resolve any issues if required and enqueue the PR again." |
             gh pr comment --body-file - --repo github/codeql-action "$PR_NUMBER"