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 — Add workflow to comment on a PR when it was dequeued by mbg · Pull Request #4263 · github/codeql-action

Conversation

@mbg

@mbg mbg commented Oct 22, 2026

Copy link
Copy Markdown
Member

To make this more visible.

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?

  • None - I am not validating these changes.

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 - Please provide details.

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
@mbg
mbg requested a review from a team as a code owner October 22, 2026 13:48
Copilot AI max review requested due to automatic review settings October 22, 2026 13:48
@github-actions github-actions Bot added the size/XS Should be very easy to review label Oct 22, 2026
Copilot started reviewing on behalf of mbg October 22, 2026 13:58
View session
Copilot AI reviewed Oct 22, 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

Unresolved correctness and permission issues prevent reliable, accurate dequeue notifications.

4 open issues
  • Medium severity Use pull_request_target for fork PR comments · New
  • Medium severity Skip dequeue notifications for merged pull requests · New
  • Medium severity Use sender.login for webhook mention · New
  • Medium severity Escape backticks to preserve the dequeue reason · New
What changed in this PR

Adds an internal GitHub Actions workflow to make merge-queue removals more visible through pull request comments.

Changes:

  • Runs a notification job when a pull request is dequeued.
  • Uses GitHub CLI to post removal details and guidance to resolve issues and re-enqueue.
File Description
.github/​workflows/​pr-dequeued.yml Adds the dequeue-triggered notification workflow and comment command.

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
name: PR dequeued

on:
pull_request:

@mbg mbg Oct 22, 2026

Copy link
Copy Markdown
Member Author

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.

Absolutely not.

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.
Comment thread .github/workflows/pr-dequeued.yml Resolved

Uh oh!

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

Uh oh!

There was an error while loading. Please reload this page.
@mbg
Add workflow to comment on a PR when it was dequeued
0408904
@mbg
mbg force-pushed the mbg/pr-dequeue-notify branch from c2a4d55 to 0408904 Compare October 22, 2026 15:11
@mbg
Merge branch 'main' into mbg/pr-dequeue-notify
54b2801
henrymercer
henrymercer previously approved these changes Oct 23, 2026
View reviewed changes
@mbg
mbg added this pull request to the merge queue Oct 23, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Oct 23, 2026

Uh oh!

There was an error while loading. Please reload this page.
@github-actions

github-actions Bot commented Oct 23, 2026

Copy link
Copy Markdown
Contributor

@github-merge-queue[bot] The pull request was removed from the merge queue (CI_FAILURE). Please resolve any issues if required and enqueue the PR again.
All reactions

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.
@mbg
Switch to pull_request.user.login
37a5faf
@mbg
mbg dismissed henrymercer’s stale review via 37a5faf October 23, 2026 11:44
@mbg
mbg requested a review from henrymercer October 23, 2026 11:44
@mbg
mbg enabled auto-merge October 23, 2026 11:51
henrymercer
henrymercer approved these changes Oct 23, 2026
View reviewed changes
@mbg
mbg added this pull request to the merge queue Oct 23, 2026
Merged via the queue into main with commit 3306ba4 Oct 23, 2026
228 checks passed

Uh oh!

There was an error while loading. Please reload this page.
@mbg
mbg deleted the mbg/pr-dequeue-notify branch October 23, 2026 12:13
@henrymercer henrymercer mentioned this pull request Oct 23, 2026
Ping the user who enqueued a PR when it's removed from the merge queue #4265
Merged
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
@henrymercer henrymercer henrymercer 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

@mbg @henrymercer
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.