Skip to content

fix: use selected agent for repo badges#823

Merged
matt2e merged 1 commit into
mainfrom
incorrect-agent-for-repo-badge
Jun 26, 2026
Merged

fix: use selected agent for repo badges#823
matt2e merged 1 commit into
mainfrom
incorrect-agent-for-repo-badge

Commits

Commits on Jun 25, 2026