[dev] [tofikwest] tofik/github-integration-repo-list

[tofikwest]

Fetch GitHub repo options from /user/repos with org fallback, covering org/private repos\n- Allow manual repo entry and align branch handling with backend defaults\n- Add server-side logging for variable option fetch results

[vercel]

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

Project	Deployment	Actions	Updated (UTC)
app	Ready	Preview, Comment	Feb 10, 2026 9:36pm

1 Skipped Deployment

Project	Deployment	Actions	Updated (UTC)
portal	Skipped		Feb 10, 2026 9:36pm

[cursor]

PR Summary

Medium Risk
Changes how GitHub repositories are discovered (new endpoints, pagination, error handling) and loosens UI validation, which could affect which repos/branches get monitored if edge cases aren’t covered.

Overview
Fixes GitHub target_repos selection by expanding dynamic repo discovery to include all repositories the user can access (via /user/repos), deduping/sorting results and falling back to per-org repo listing when needed (skipping expected 403/SAML org failures).

Updates the configuration UI to allow manual repo entry for GitHub, trims/filters selections, and relaxes branch requirements so branches are optional (blank implies default main), with corresponding validation tweaks.

Improves server-side diagnostics for dynamic variable options by logging fetch start context, warning on empty option sets, and emitting more detailed error messages including provider/connection IDs.

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