Repository navigation

Mention agents by name within the command's project - #797

Merged

jeremy merged 11 commits into

mainfrom

fix/mention-agents

Sep 30, 2026

Merged

Mention agents by name within the command's project#797
jeremy merged 11 commits into
mainfrom
fix/mention-agents

Commits on Sep 30, 2026
- Mention agents by name within the command's project
  jeremy
  committed
  8dd214b
- Keep mention scope to what every target is known to share
  jeremy
  committed
  db5e273
- A scope that is consulted and fails is an error; URLs that disagree get no scope
  jeremy
  committed
  09f6e1b
- Say that an agent's scope is the command's own project first
  jeremy
  committed
  c8c1551
- Refuse a comment batch whose URL project conflicts with --in
  jeremy
  committed
  85a1d72
- Compare batch project IDs as numbers
  jeremy
  committed
  3995092
- Declare the resolved batch project without a dead assignment
  jeremy
  committed
  8951faa
- Report same-named agents as ambiguous
  jeremy
  committed
  16186ae
- Look up an agent by person ID once per run
  jeremy
  committed
  379c9f7
- Scope a comment batch's agent mentions lazily instead of refusing the batch
  jeremy
  committed
  5278528
- A blank --in vouches for no project in a mixed batch
  jeremy
  committed
  67d6531