v1.4.80-rc.0

What's Changed

• Show repo icons on compact worktree cards by @brennanb2025 in #5673
• Celebrate onboarding and agent wins with GitHub star prompts by @brennanb2025 in #5642
• Remove spam prefix from zh locale by @hu-qi in #5677
• Fix cleared Source Control AI recipe prompts by @Jinwoo-H in #5678
• feat(mobile): combine PR sidebar and checks parity by @Jinwoo-H in #5641
• Fix mobile folder workspace visibility by @Jinwoo-H in #5679
• Narrow computer-use e2e trigger by @Jinwoo-H in #5685
• Use managed Pi and OMP extensions by @Jinwoo-H in #5681
• Replace plus icon with play button on quick command entry by @nwparker in #5674
• Fix flaky e2e tests by @brennanb2025 in #5680
• Fix nested workspace card indentation by @brennanb2025 in #5684
• fix(landing): make GitHub CLI setup nudge dismissible and provider-aware by @Jinwoo-H in #5688
• fix: restore font family keyboard navigation in settings by @doanbactam in #5693
• Skip GitHub CLI preflight checks if no GitHub projects exist by @AmethystLiang in #5717

New Contributors

• @hu-qi made their first contribution in #5677
• @doanbactam made their first contribution in #5693

Full Changelog: v1.4.78-rc.6...v1.4.80-rc.0