Repository navigation

Name users the cached Zulip user list has lost - #256

Merged

GraemeF merged 2 commits into

mainfrom

worktree-comms-6otw

Oct 2, 2026

Commits on Oct 1, 2026
- Name users the cached Zulip user list has lost
  GraemeF
  committed
  f6a8f8a
Commits on Oct 2, 2026
- Use invented names and ids in the directory-miss tests
  GraemeF
  committed
  641219b