[pull] main from pingdotgg:main - #88

Merged

pull[bot] merged 1 commit into

LoganRupe:mainfrom

Jul 31, 2026

Commits on Jul 31, 2026

fix(mobile): server model, worktree, and origin preferences now apply to new tasks (#5064)

t3dotgg
and
claude
authored
e259dd2