View all feedbacks in Devflow UI.

2026-01-28 19:52:02 UTC ℹ️ Start processing command /merge

---

2026-01-28 19:52:28 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-28 19:55:05 UTC ℹ️ MergeQueue: merge request added to the queue

The expected merge time in main is approximately 0s (p90).

---

2026-01-28 20:07:04 UTC ℹ️ MergeQueue: This merge request was merged