View all feedbacks in Devflow UI.

2025-12-01 17:26:23 UTC ℹ️ Start processing command /merge

---

2025-12-01 17:26: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.
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.

---

2025-12-01 17:35:21 UTC ℹ️ MergeQueue: merge request added to the queue

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

---

2025-12-01 17:45:04 UTC ℹ️ MergeQueue: This merge request was merged