Repository navigation

Stop saying an agent can never be in a Ping - #853

Merged

jeremy merged 2 commits into

mainfrom

fix-agents-ping-comment

Oct 7, 2026

Merged

Stop saying an agent can never be in a Ping#853
jeremy merged 2 commits into
mainfrom
fix-agents-ping-comment

Commits on Oct 6, 2026
- Stop saying an agent can never be in a Ping
  jeremy
  committed
  28092f5
- Correct the resolver's own comments on agents in the pingable set
  jeremy
  committed
  03fc106