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

fix(github): auth /app with App JWT and serialize bot-id detection

c891935
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar