Skip to content

github: eager bot-user-ID auto-detection (slice of upstream 9824d33)#128

Merged
patrick-chinchill merged 2 commits into
mainfrom
claude/port-github-eager-bot-id
May 30, 2026
Merged

github: eager bot-user-ID auto-detection (slice of upstream 9824d33)#128
patrick-chinchill merged 2 commits into
mainfrom
claude/port-github-eager-bot-id

Commits

Commits on May 30, 2026