fix: case-insensitive agent name lookup in config (fixes #1097)#1175
Open
octo-patch wants to merge 5 commits into
Open
fix: case-insensitive agent name lookup in config (fixes #1097)#1175octo-patch wants to merge 5 commits into
octo-patch wants to merge 5 commits into
Commits
Commits on Aug 24, 2025
- committed
Zvonimir Sabljic
Commits on Aug 25, 2025
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}
Commits on Sep 3, 2025
Commits on Nov 10, 2025
- authored
Commits on Apr 23, 2026
- committedocto-patch