Unify git status PR metadata and surface PR state in server and UI - #122

Merged

juliusmarminge merged 8 commits into

mainfrom

codething/10276f55

Feb 28, 2026

Commits on Feb 15, 2026

Show merged PR status when no open PR exists
juliusmarminge
committed
46347e2
Skip local-branch PR checks and dedupe sidebar git status
juliusmarminge
committed
dcdb9ac

Commits on Feb 16, 2026

Unify git status PR info into a single `pr` field
juliusmarminge
committed
973e623
Merge origin/main and resolve PR status/sidebar conflicts

juliusmarminge
and
codex
committed
fe86836

Commits on Feb 20, 2026

Merge origin/main into codething/4efb5794

juliusmarminge
and
codex
committed
37e17e9

Commits on Feb 28, 2026

Merge origin/main into codething/4efb5794

juliusmarminge
and
codex
committed
e8dfc42
Merge remote-tracking branch 'origin/main' into codething/10276f55
juliusmarminge
committed
4b3825e
Prefer open PR when resolving git status PR
juliusmarminge
committed
7f2a95f