Skip to content

Enable merge queue#65

Merged
trask merged 5 commits into
open-telemetry:mainfrom
trask:merge-queue-trigger
May 23, 2026
Merged

Enable merge queue#65
trask merged 5 commits into
open-telemetry:mainfrom
trask:merge-queue-trigger

Conversation

@trask
Copy link
Copy Markdown
Member

@trask trask commented May 22, 2026

To avoid playing the PR rebase game.

Related: https://github.com/open-telemetry/admin/pull/677

Enables the aggregating `check` job to run when PRs are queued for merge,
which is required for enabling GitHub's merge queue on `main`.
@trask trask added the Skip Changelog PR does not require a changelog entry label May 22, 2026
@trask trask changed the title Run CI on merge_group events Enable merge queue May 22, 2026
@trask trask marked this pull request as ready for review May 22, 2026 20:22
@trask trask requested a review from a team as a code owner May 22, 2026 20:22
Copilot AI review requested due to automatic review settings May 22, 2026 20:22
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

Adds GitHub Actions support for GitHub’s merge queue by triggering the existing CI workflow on merge_group events, allowing required checks to run against the merge-queue-generated merge commit.

Changes:

  • Trigger .github/workflows/ci.yml on merge_group events (in addition to push and pull_request).

Comment thread .github/workflows/ci.yml
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
@lmolkova lmolkova enabled auto-merge (squash) May 22, 2026 22:22
@trask trask mentioned this pull request May 22, 2026
@trask trask disabled auto-merge May 23, 2026 00:18
@trask trask added this pull request to the merge queue May 23, 2026
Merged via the queue into open-telemetry:main with commit 59fd76c May 23, 2026
83 checks passed
@trask trask deleted the merge-queue-trigger branch May 23, 2026 00:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Skip Changelog PR does not require a changelog entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants