application-pro-integrations-github-repo-picker
GitHub repo selection panel with a searchable repository list, per-repo checkboxes, private badges, a minimal-scope note, and a save action.