Repository navigation

feat: show git status marks in the Files tree - #7443

Closed

yaminyassin wants to merge 16 commits into

pingdotgg:mainfrom

yaminyassin:feat/files-git-status

Commits on Aug 31, 2026

feat(contracts): carry git status on working-tree files

Yamin Yassin
authored and
Yamin Yassin
committed
9b9f99d
feat(server): classify working-tree files from git porcelain

Yamin Yassin
authored and
Yamin Yassin
committed
991e269
feat(shared): map working-tree status onto file-tree paths

Yamin Yassin
authored and
Yamin Yassin
committed
c95a8d1
feat(web): show git status marks in the Files tree

Yamin Yassin
authored and
Yamin Yassin
committed
5c2de1e
feat(mobile): show git status marks in the Files tree

Yamin Yassin
authored and
Yamin Yassin
committed
608940d
docs: document Files tree git status marks

Yamin Yassin
authored and
Yamin Yassin
committed
0916f6b
docs: add Files tree git status screenshots

Yamin Yassin
authored and
Yamin Yassin
committed
90e92ed
fix(server): match spaced and non-ascii paths in working-tree status

Yamin Yassin
authored and
Yamin Yassin
committed
5b41e0a
fix(server): parse unmerged porcelain paths and emoji names

Yamin Yassin
authored and
Yamin Yassin
committed
4ceab13
fix(server): keep leading and trailing spaces in git pathnames

Yamin Yassin
authored and
Yamin Yassin
committed
ad183d2
fix(web): refresh git status when refreshing the Files tree

Yamin Yassin
authored and
Yamin Yassin
committed
0ffa531
feat: git marker on files

Yamin Yassin
authored and
Yamin Yassin
committed
fd00ee1
fix: merge Files refresh handlers and harden status mapping

authored and
Yamin Yassin
committed
38c49a4
fix(shared): do not mark directories deleted for same-named files

authored and
Yamin Yassin
committed
8184ba5
refactor: drop unrelated pull-request repository helper from this PR

authored and
Yamin Yassin
committed
90b6724
fix: share pull-request repository naming across writers

authored and
Yamin Yassin
committed
c29f696

Navigation Menu

Repository navigation

feat: show git status marks in the Files tree - #7443

feat: show git status marks in the Files tree#7443
yaminyassin wants to merge 16 commits into
pingdotgg:mainfrom
yaminyassin:feat/files-git-status

Commits on Aug 31, 2026

feat(contracts): carry git status on working-tree files

feat(server): classify working-tree files from git porcelain

feat(shared): map working-tree status onto file-tree paths

feat(web): show git status marks in the Files tree

feat(mobile): show git status marks in the Files tree

docs: document Files tree git status marks

docs: add Files tree git status screenshots

fix(server): match spaced and non-ascii paths in working-tree status

fix(server): parse unmerged porcelain paths and emoji names

fix(server): keep leading and trailing spaces in git pathnames

fix(web): refresh git status when refreshing the Files tree

feat: git marker on files

fix: merge Files refresh handlers and harden status mapping

fix(shared): do not mark directories deleted for same-named files

refactor: drop unrelated pull-request repository helper from this PR

fix: share pull-request repository naming across writers