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

Conversation

@matt2e

@matt2e matt2e commented Jun 26, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Route repo badge name generation through the selected preferred agent when available
  • Fall back to recent/available provider selection when no explicit provider is set
  • Add provider selection coverage for repo badge generation

Testing

  • Push hooks ran crates-fmt, crates-lint, crates-test, differ-ci, and staged-ci

Signed-off-by: Matt Toohey <contact@matttoohey.com>
@matt2e matt2e requested review from baxen and wesbillman as code owners June 26, 2026 07:18
@matt2e matt2e merged commit bc74d04 into main Jun 26, 2026
4 checks passed
@matt2e matt2e deleted the incorrect-agent-for-repo-badge branch June 26, 2026 12:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant