feat(app): search GitHub repositories when adding a project - #8329

Open

msegec wants to merge 30 commits into

pingdotgg:mainfrom

msegec:feat/github-repo-search

Commits on Aug 26, 2026

feat(contracts): add source control repository search schemas
msegec
committed
0d786de
feat(contracts): add the repository search RPC definition
msegec
committed
a1aeaae
feat(server): add a repository search method to the source control providers
msegec
committed
68ad1e1
feat(server): search GitHub repositories through the gh CLI
msegec
committed
93c4d97
feat(server): return ranked GitHub search results from the provider
msegec
committed
c76042f
perf(server): cache and rate limit GitHub repository search
msegec
committed
83e846f
feat(server): expose repository search over the websocket API
msegec
committed
0431401
feat(client-runtime): add a repository search query atom family
msegec
committed
02e15a1
feat(web): search GitHub repositories from the add-project flow
msegec
committed
f14a3c3
feat(mobile): search GitHub repositories when adding a project
msegec
committed
b30f72e
docs(user): describe GitHub repository search when adding a project
msegec
committed
4510fed
fix(server): share one source control discovery service across clients
msegec
committed
a54b8f0
fix(server): harden repository search caching and failure handling
msegec
committed
fa1abdb
fix(app): keep repository search support state between keystrokes
msegec
committed
502a822
fix(web): reserve input room for the wider highlighted shortcut
msegec
committed
b83a278
docs(user): mark repository descriptions as optional
msegec
committed
276c540
fix(web): keep repository search descriptions to one line
msegec
committed
d787423
fix(app): drop stale repository lookups once the flow moves on
msegec
committed
7afc2d7

Navigation Menu

Uh oh!

feat(app): search GitHub repositories when adding a project - #8329

feat(app): search GitHub repositories when adding a project#8329
msegec wants to merge 30 commits into
pingdotgg:mainfrom
msegec:feat/github-repo-search

Commits on Aug 26, 2026

feat(contracts): add source control repository search schemas

feat(contracts): add the repository search RPC definition

feat(server): add a repository search method to the source control providers

feat(server): search GitHub repositories through the gh CLI

feat(server): return ranked GitHub search results from the provider

perf(server): cache and rate limit GitHub repository search

feat(server): expose repository search over the websocket API

feat(client-runtime): add a repository search query atom family

feat(web): search GitHub repositories from the add-project flow

feat(mobile): search GitHub repositories when adding a project

docs(user): describe GitHub repository search when adding a project

fix(server): share one source control discovery service across clients

fix(server): harden repository search caching and failure handling

fix(app): keep repository search support state between keystrokes

fix(web): reserve input room for the wider highlighted shortcut

docs(user): mark repository descriptions as optional

fix(web): keep repository search descriptions to one line

fix(app): drop stale repository lookups once the flow moves on

Commits on Aug 27, 2026

fix(server): give repository search its own rate-limit circuit

fix(app): close timing holes in the stale repository lookup guards

fix(server): serve stale repository search results when a refresh fails

Merge branch 'main' into feat/github-repo-search

refactor(server): move discovery layer wiring below the transport layers

fix(server): tell the user when a repository lookup finds nothing

fix(web): keep Enter on a bare search term with the search

Merge branch 'main' into feat/github-repo-search

fix(web): advertise the modifier shortcut when plain Enter stays with the search

fix(web): drop the footer action hint while Enter stays with the search

fix(server): dedup search results case-insensitively

Merge branch 'main' into feat/github-repo-search