GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Ping the user who enqueued a PR when it's removed from the merge queue by henrymercer · Pull Request #4265 · github/codeql-action

Conversation

@henrymercer

@henrymercer henrymercer commented Oct 23, 2026

Copy link
Copy Markdown
Contributor

Follow-up to #4263. When a PR is removed from the merge queue, the comment now mentions the user who most recently added it to the queue rather than the PR author. This avoids pinging bots on PRs authored by Dependabot or Actions, which maintainers enqueue.

The dequeued event payload doesn't identify the enqueuer, so the workflow looks them up in the most recent AddedToMergeQueueEvent on the PR's timeline. If auto-merge added the PR to the queue, this event is attributed to the user who enabled auto-merge.

Risk assessment

For internal use only. Please select the risk level of this change:

  • Low risk: Changes are fully under feature flags, or have been fully tested and validated in pre-production environments and are highly observable, or are documentation or test only.

Which use cases does this change impact?

Environments:

  • Testing/None - This change does not impact any CodeQL workflows in production.

How did/will you validate this change?

  • Other - I ran the step's script locally against existing PRs, printing the comment instead of posting it. For Add workflow to comment on a PR when it was dequeued #4263, Bump ruby/setup-ruby from 1.326.0 to 1.327.0 in /.github/workflows in the actions-minor group across 1 directory #4196 (Dependabot) and Update supported GitHub Enterprise Server versions #4188 (Actions), it mentions the user who enqueued the PR. It hasn't run with the workflow's GITHUB_TOKEN, so the next PR that's removed from the merge queue will be the first real test.

If something goes wrong after this change is released, what are the mitigation and rollback strategies?

  • Development/testing only - This change cannot cause any failures in production.

How will you know if something goes wrong after this change is released?

  • Other

Are there any special considerations for merging or releasing this change?

  • No special considerations - This change can be merged at any time.

Merge / deployment checklist

  • Confirm this change is backwards compatible with existing workflows.
  • Consider adding a changelog entry for this change.
  • Confirm the readme and docs have been updated if necessary.

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.
All reactions
@henrymercer
Ping the user who enqueued a PR when it's removed from the merge queue
49bbf2b 
Co-authored-by: Copilot App <[email protected]>
Copilot AI max review requested due to automatic review settings October 23, 2026 12:35
@github-actions github-actions Bot added the size/XS Should be very easy to review label Oct 23, 2026
Copilot started reviewing on behalf of henrymercer October 23, 2026 12:35
View session
Copilot AI reviewed Oct 23, 2026
View reviewed changes

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

There was a problem hiding this comment.

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟡 Changes recommended

A failed recipient lookup stops the workflow before it posts the dequeue notification.

1 open issue
  • Medium severity Preserve dequeue notification when recipient lookup fails · New
What changed in this PR

Updates the repository’s merge-queue notification workflow to notify the person who enqueued a PR rather than its author, avoiding mentions of bot authors.

Changes:

  • Queries the PR timeline for the latest merge-queue enqueuer.
  • Uses that user’s login in the dequeue notification.
File Description
.github/​workflows/​pr-dequeued.yml Looks up and mentions the latest enqueuer in dequeue comments.

Review effort: Max

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.
All reactions
Comment thread .github/workflows/pr-dequeued.yml Resolved

Uh oh!

There was an error while loading. Please reload this page.
@henrymercer
henrymercer marked this pull request as ready for review October 23, 2026 12:45
@henrymercer
henrymercer requested a review from a team as a code owner October 23, 2026 12:45
@mbg
Merge branch 'main' into henrymercer/notify-enqueuer-on-dequeue
9ff762d
mbg
mbg approved these changes Oct 27, 2026
View reviewed changes
@henrymercer
henrymercer enabled auto-merge October 27, 2026 12:14
@henrymercer
henrymercer added this pull request to the merge queue Oct 27, 2026
Merged via the queue into main with commit 8a992c6 Oct 27, 2026
228 checks passed

Uh oh!

There was an error while loading. Please reload this page.
@henrymercer
henrymercer deleted the henrymercer/notify-enqueuer-on-dequeue branch October 27, 2026 12:31
This was referenced Nov 3, 2026
Merge main into releases/v4 #4286
Merged
Merge releases/v4 into releases/v3 #4291
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

Copilot code review Copilot
Copilot review effort
Applies to this pull request for everyone.Learn more about Copilot code review.
Copilot left review comments
@mbg mbg mbg approved these changes

Uh oh!

There was an error while loading. Please reload this page.

Assignees

No one assigned

Labels

size/XS Should be very easy to review

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Uh oh!

There was an error while loading. Please reload this page.

3 participants

@henrymercer @mbg
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.