PR badges: background prefetch & cache (git-log style)#125

Merged

devlint merged 18 commits into

mainfrom

feat/pr-badge-prefetch-cache

Jul 10, 2026

Commits on Jul 9, 2026

docs: add design spec for PR badge background prefetch/cache
Laurent Guitton
committed
docs: add implementation plan for PR badge background prefetch/cache
Laurent Guitton
committed
refactor: extract whenIdle() into a shared idleSchedule util
Laurent Guitton
committed
fix: drain open-PR pages in the background so branch badges aren't capped at 10
Laurent Guitton
committed
fix: cancel in-flight PR prefetch on any cwd change, not just a fresh prefetchOpenPrs() call
Laurent Guitton
committed
feat(rust): add PrFreshnessSignal + REST freshness probe for PR badge cache
Laurent Guitton
committed
feat(rust): add gh_pr_freshness_signal Tauri command (gh CLI path)
Laurent Guitton
committed
feat: add ghPrFreshnessSignal TS wrapper for the PR badge cache
Laurent Guitton
committed
feat: add /api/gh-pr-freshness dev-server route
Laurent Guitton
committed
feat: cache drained open-PR lists and validate them via a cheap freshness signal
Laurent Guitton
committed

Commits on Jul 10, 2026

docs: add design spec for wiring the AppDock PR count badge
Laurent Guitton
committed
docs: correct spec - AppDock pr-count is already wired, just to the wrong source
Laurent Guitton
committed
docs: add implementation plan for wiring the AppDock PR count badge
Laurent Guitton
committed
feat: add cheap dockPrCount refresh independent of the branch-badge list
Laurent Guitton
committed
fix: discard stale getPRCount results from a repo the user already navigated away from
Laurent Guitton
committed
feat: show the true open-PR count on the dock badge, independent of the loaded branch-badge list
Laurent Guitton
committed
fix: seed remote from cache on repo switch so dockPrCount resolves the correct forge, not always GitHub
Laurent Guitton
committed
docs(roadmap): note 3 deferred follow-ups from the PR badge/dock-count work
Laurent Guitton
committed