Skip to content

feat(self-driving): default to the single connected repo for GitHub Issues #234

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
dkarasiewicz merged 1 commit into from
Jul 14, 2026
+2 −2
Merged

feat(self-driving): default to the single connected repo for GitHub Issues #234

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions context/skills/self-driving/references/5a-github.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,9 +18,9 @@ Reach `integrations-github-repos-retrieve` and `external-data-sources-create` th

## Do

1. **Infer the repository.** Run `git remote get-url origin` in the project root and parse `owner/repo` from either form (`git@github.com:owner/repo.git` or `https://github.com/owner/repo[.git]`). No remote, or not a github.com remote → go to the dormant fallback (below).
1. **List the connected repos first.** Call `integrations-github-repos-retrieve` with the step-3 GitHub integration id (no search). Exactly **one** repository connected → that's the repo: use it by default and skip repo research entirely — no `git remote` inference, no search calls — and go straight to the confirm (step 3). Several connected → research which one matches this project (step 2). None → dormant fallback (below).

2. **Validate it against the integration.** Call `integrations-github-repos-retrieve` with the step-3 GitHub integration id and `search=<repo name>`. The inferred `full_name` appearing in the results means the GitHub App can see it. Not in the results → dormant fallback (below) — the App isn't installed on this repo, so don't redirect or re-prompt.
2. **Several connected: infer the repository.** Run `git remote get-url origin` in the project root and parse `owner/repo` from either form (`git@github.com:owner/repo.git` or `https://github.com/owner/repo[.git]`). No remote, or not a github.com remote → go to the dormant fallback (below). Then validate the inferred repo against the step-1 list (search again with `search=<repo name>` if the list was truncated). The inferred `full_name` appearing in the results means the GitHub App can see it. Not in the results → dormant fallback (below) — the App isn't installed on this repo, so don't redirect or re-prompt.

3. **Confirm — never create unconfirmed:**

Expand Down
Loading