What's Changed
- fix(web): prevent workspace connector focus ring clipping by @brendan-kellam in #1457
- feat(gitlab): add optional webUrl field to derive projectUrl by @brendan-kellam in #1458
- feat(web): associate Sentry errors with users by @brendan-kellam in #1452
- docs: point MCP server examples at the public app.sourcebot.dev deployment by @msukkari in #1462
- feat(web): add Idira SSO support by @brendan-kellam in #1459
- Add inactive user deprovisioning tool by @brendan-kellam in #1464
- fix(web): prevent file header overflow by @brendan-kellam in #1465
Full Changelog: v5.1.2...v5.1.3