Mohamed Boudra dc7ade5264 fix(workspaces): retain merged pull request status ...

A workspace can still represent a merged pull request after its checkout advances. Match the repository and branch for display, and require a fresh exact-head match before automatic archive.

2026-11-02 06:24:00 +01:00

..

browser

fix(app): add hosts without leaving the current screen (#8512)

2026-11-02 11:07:48 +07:00

fixtures

Keep model-discovery errors away from picker edges (#8039)

2026-10-27 15:59:03 +00:00

helpers

Improve sidebar workspace readability and host identity (#2790)

2026-08-02 16:58:20 +02:00

mobile

Fix terminal emoji size and alignment (#8375)

2026-11-01 10:33:59 +07:00

support

fix(workspaces): retain merged pull request status

2026-11-02 06:24:00 +01:00