[comp] Production Deploy

[github-actions]

This is an automated pull request to release the candidate branch into production, which will trigger a deployment.
It was created by the [Production PR] action.

[cursor]

PR Summary

Medium Risk
Changes how GitHub repos are discovered (new /user/repos path + fallback behavior) and relaxes UI validation/entry rules for target_repos, which could affect what repos users can select/save; otherwise mostly logging and UX tweaks.

Overview
Improves GitHub target_repos configuration by fetching accessible organization repositories via /user/repos (deduped/sorted), falling back to per-org listing only when needed, and skipping SSO/permission-blocked orgs instead of failing the whole list.

Updates the integration configuration UI to make branches optional for GitHub repos, allow manually adding repos (creatable), and harden target_repos parsing/validation by trimming/filtering empty entries. Adds more detailed server-side logging (including provider/connection context, empty-option warnings, and improved error messages) when fetching dynamic variable options.

^{Written by Cursor Bugbot for commit c4c38db. This will update automatically on new commits. Configure here.}

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
app (staging)	Ready	Preview, Comment	Feb 11, 2026 2:23am

1 Skipped Deployment

Project	Deployment	Actions	Updated (UTC)
portal (staging)	Skipped		Feb 11, 2026 2:23am