Repository navigation

Add workflow to comment on a PR when it was dequeued - #4263

Merged

mbg merged 3 commits into

mainfrom

mbg/pr-dequeue-notify

Oct 23, 2026

Merged

Add workflow to comment on a PR when it was dequeued#4263
mbg merged 3 commits into
mainfrom
mbg/pr-dequeue-notify

Commits on Oct 22, 2026
- Add workflow to comment on a PR when it was dequeued
  mbg
  committed
  0408904
- Merge branch 'main' into mbg/pr-dequeue-notify
  mbg
  authored
  54b2801
Commits on Oct 23, 2026
- Switch to `pull_request.user.login`
  mbg
  committed
  37a5faf