Skip to content

Conversation

@dd-octo-sts
Copy link
Contributor

@dd-octo-sts dd-octo-sts bot commented Jan 9, 2026

SSID

@dd-octo-sts dd-octo-sts bot requested review from a team as code owners January 9, 2026 08:05
@github-actions github-actions bot force-pushed the sdk/versions branch 2 times, most recently from ae75f4d to bdbe779 Compare January 13, 2026 08:05
@skarimo
Copy link
Member

skarimo commented Jan 14, 2026

/merge

@gh-worker-devflow-routing-ef8351
Copy link

gh-worker-devflow-routing-ef8351 bot commented Jan 14, 2026

View all feedbacks in Devflow UI.

2026-01-14 14:06:58 UTC ℹ️ Start processing command /merge


2026-01-14 14:07:03 UTC ℹ️ MergeQueue: waiting for PR to be ready

This pull request is not mergeable according to GitHub. Common reasons include pending required checks, missing approvals, or merge conflicts — but it could also be blocked by other repository rules or settings.
It will be added to the queue as soon as checks pass and/or get approvals. View in MergeQueue UI.
Note: if you pushed new commits since the last approval, you may need additional approval.
You can remove it from the waiting list with /remove command.


2026-01-14 14:08:24 UTC ℹ️ MergeQueue: queue is disabled

Added to the queue but the mergequeue is not enabled for now.


2026-01-14 14:10:19 UTC ℹ️ MergeQueue: This merge request was already merged

This pull request was merged directly.

@skarimo skarimo merged commit 34ef262 into master Jan 14, 2026
13 of 15 checks passed
@skarimo skarimo deleted the sdk/versions branch January 14, 2026 14:10
estherk15 pushed a commit that referenced this pull request Jan 16, 2026
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants