Add repository
Add Git repositories through GitHub selection or a manual clone URL.
Use Repositories -> More actions to add sources. ctx| supports two paths: GitHub App selection and manual Git URL entry.
GitHub App Path
The preferred path for GitHub-hosted code is the GitHub App flow:
- Open Repositories.
- Choose Select repositories.
- Pick All repositories or Select specific repositories.
- Save to start ingestion.
When GitHub returns repositories that are available to the installation but not yet indexed in ctx|, the app shows them as pending indexing. Use Index now on a pending row to create the repository record and start ingestion.
If the installation is configured for all repositories, you can also choose whether repositories added to GitHub in the future should be included.
Manual Git URL Path
Use Add single repository when you have a clone URL and do not need GitHub App selection.
Supported URL shapes:
https://github.com/org/repo.git
https://github.com/org/repo
[email protected]:org/repo.git
[email protected]:org/repoThe UI infers the repository name from the URL. Manual entry requires a valid URL and starts ingestion immediately after the backend creates the repository.
What Happens Next
After a repository is created:
- The backend stores it under the current organization.
- The ingestion workflow starts for the repository ID.
- Codesearch clones and indexes the default checkout.
- The code ingestion graph extracts claims into the knowledge graph.
indexReadybecomestruewhen search indexing is ready.
The Repositories page refreshes while any repository is still indexing.
Troubleshooting
- Could not infer repository name: use a standard HTTPS or SSH clone URL in
owner/repoform. - Repository remains indexing: check backend and codesearch logs. Private repository auth, GitHub App permissions, and codesearch availability are the usual first checks.
- Repository is pending after GitHub setup: it is selected in GitHub but not indexed in ctx| yet. Use Index now.