Title: Ping the user who enqueued a PR when it's removed from the merge queue by henrymercer · Pull Request #4265 · github/codeql-action · GitHub
Open Graph Title: Ping the user who enqueued a PR when it's removed from the merge queue by henrymercer · Pull Request #4265 · github/codeql-action
X Title: Ping the user who enqueued a PR when it's removed from the merge queue by henrymercer · Pull Request #4265 · github/codeql-action
Description: 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 #4263, #4196 (Dependabot) and #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.
Open Graph Description: 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 a...
X Description: 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 a...
Opengraph URL: https://github.com/github/codeql-action/pull/4265
X: @github
Domain: github.com
| react-profiling | 0 |
| react-import-map | react,react-dom,react-dom/client,react-dom/profiling,react-is,react-reconciler,react/compiler-runtime,react/jsx-dev-runtime,react/jsx-runtime,scheduler@d5750093facf |
| route-pattern | /:user_id/:repository/pull/:id/files(.:format) |
| route-controller | pull_requests |
| route-action | files |
| fetch-nonce | v2:9074b3a0-9847-495d-7f70-af7edfa1710b |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | BEAC:33C72F:40CDD2:53FC31:6AED219E |
| html-safe-nonce | 74603886ece4cd3191f6c2046d5ffc351c24f1b84728b86a5bc0065c28608708 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCRUFDOjMzQzcyRjo0MENERDI6NTNGQzMxOjZBRUQyMTlFIiwidmlzaXRvcl9pZCI6Ijc5MTEwMzM5OTY2OTMwMjEwODYiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ== |
| visitor-hmac | 4bcda42c9b842f38a69547554f4a1d371f0bb5f39ad3752bf35e006c2b8c01dc |
| hovercard-subject-tag | pull_request:4982806571 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | / |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/github/codeql-action/pull/4265/files |
| twitter:image | https://avatars.githubusercontent.com/u/14129055?s=400&v=4 |
| twitter:card | summary_large_image |
| og:image | https://avatars.githubusercontent.com/u/14129055?s=400&v=4 |
| og:image:alt | 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 a... |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | e3e0f7f63e50c6fe879198a93a0a023a648ecc0a5e9bc3b5e033ac57172237e6 |
| turbo-cache-control | no-preview |
| diff-view | unified |
| go-import | github.com/github/codeql-action git https://github.com/github/codeql-action.git |
| octolytics-dimension-user_id | 9919 |
| octolytics-dimension-user_login | github |
| octolytics-dimension-repository_id | 259445878 |
| octolytics-dimension-repository_nwo | github/codeql-action |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 259445878 |
| octolytics-dimension-repository_network_root_nwo | github/codeql-action |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | true |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 707a24b346ac8a82878b9c084efaa38a997660cb |
| ui-target | canary-1 |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width