Repository navigation

Check cached Git repositories in the background - #706

Merged

andrew merged 5 commits into

git-pkgs:mainfrom

simonchrz:feat/git-warm-refresh

Nov 15, 2026

Merged

Check cached Git repositories in the background#706
andrew merged 5 commits into
git-pkgs:mainfrom
simonchrz:feat/git-warm-refresh

Commits on Nov 11, 2026
- Check cached Git repositories in the background
  simonchrz
  committed
  3dad4b5
- Recheck a repository when its background refresh starts
  simonchrz
  committed
  cda604e
- Keep the URL a refresh succeeded with
  simonchrz
  committed
  6cd242a
- Check a cached repository only at a URL a refresh succeeded with
  simonchrz
  committed
  c75883a
Commits on Nov 15, 2026
- Say that a background fetch can evict at max_size, and trim comments
  andrew
  committed
  7a7a072