Skip to content

chore(git_sync): UI improvements for workspace settings#7177

Open
claude[bot] wants to merge 5 commits intomainfrom
claude/issue-7176-20251119-1147
Open

chore(git_sync): UI improvements for workspace settings#7177
claude[bot] wants to merge 5 commits intomainfrom
claude/issue-7176-20251119-1147

Commits

Commits on Nov 19, 2025