Repository navigation

Fix: derive bot identity from the token, not the GITHUB_ACTIONS flag - #3

Merged

bilikaz merged 2 commits into

mainfrom

Jun 9, 2026

Merged

Fix: derive bot identity from the token, not the GITHUB_ACTIONS flag#3
bilikaz merged 2 commits into
mainfrom
fix-3

Commits on Jun 9, 2026
- Fix: derive bot identity from the token, not the GITHUB_ACTIONS flag
  
  bilikaz
  and
  claude
  committed
  491a6b2
- Build dist for the bot-identity fix
  
  bilikaz
  and
  claude
  committed
  6eb83b0