v5.1.3

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