Use push_token for git operations to trigger CI on bot PRs#275

Merged

leggetter merged 2 commits intomainfrom

claude/debug-ci-bot-prs-NeOgH

Mar 23, 2026

Commits on Mar 23, 2026

fix(issue-auto-implement): use optional push_token so CI checks trigger on bot PRs
claude
committed
fix(issue-auto-implement): rename to AUTO_IMPLEMENT_GITHUB_PUSH_TOKEN, document all token types
claude
committed