Repository navigation

Show why a docs sync failed and keep the GitHub dialog current - #166

Merged

s3rot0n1n merged 2 commits into

mainfrom

fix/docs-sync-feedback

Oct 30, 2026

Merged

Show why a docs sync failed and keep the GitHub dialog current#166
s3rot0n1n merged 2 commits into
mainfrom
fix/docs-sync-feedback

Commits on Oct 30, 2026
- fix(web): show why a docs sync failed and keep the GitHub dialog current
  
  Rajat
  and
  claude
  committed
  b3897bb
- fix(web): notice syncs that start while the GitHub dialog is open
  
  Rajat
  and
  claude
  committed
  09e447b