Repository navigation

fix(workspace): glob and grep's glob filter take a mount-prefixed pattern - #401

Merged

nissa-seru merged 4 commits into

anima-research:mainfrom

Anarchid:fix/glob-mount-prefixed-patterns

Oct 22, 2026

Merged

fix(workspace): glob and grep's glob filter take a mount-prefixed pattern#401
nissa-seru merged 4 commits into
anima-research:mainfrom
Anarchid:fix/glob-mount-prefixed-patterns

Commits on Oct 16, 2026
- fix(workspace): glob and grep's glob filter take a mount-prefixed pattern
  
  Anarchid
  and
  claude
  committed
  72aa872
Commits on Oct 17, 2026
- fix(workspace): a `**/` in a glob matches zero or more directories
  
  Gordon-2414
  and
  claude
  committed
  d00f40e
- Merge main (743aee37) into fix/glob-mount-prefixed-patterns
  Gordon-2414
  committed
  ee82b96
- fix(workspace): grep builds its glob filter before its pass, so one it refuses is refused first
  Gordon-2414
  committed
  92092ab