What's Changed
- chore: mirror main and tags to sourcebot-private by @brendan-kellam in #1611
- fix(web): close unary Zoekt gRPC clients by @brendan-kellam in #1591
- feat(web): add create_skill, update_skill, and list_skills tools to MCP and Ask Sourcebot by @jsourcebot in #1612
- fix(web): auto-hide error banner when chat error is cleared by @msukkari in #1614
Full Changelog: v5.1.8...v5.1.9