Repository navigation

ui: split the repository header into a status strip and facts - #813

Merged

HugoXK merged 3 commits into

mainfrom

ops/811-repo-header

Nov 15, 2026

Merged

ui: split the repository header into a status strip and facts#813
HugoXK merged 3 commits into
mainfrom
ops/811-repo-header

Commits on Nov 15, 2026