Merge local plugins into plugin search results - #36919
Merged
copyberry[bot] merged 1 commit intoAug 4, 2026
Merged
Conversation
## What changed - Discover plugins from configured and repository marketplaces using the request's `cwds`, and merge up to 100 ranked local matches into the first remote result page. - Match local plugin names, display names, and keywords without case or punctuation sensitivity, while applying global, personal, and workspace scope semantics. - Deduplicate local and remote copies, preserve local installation metadata on the remote result, and treat the remote global catalog as authoritative over the local curated marketplace. - Keep local search available for API-key authentication and when `remote_plugin` is disabled, and consistently report `enabled: false` because search results describe discovery rather than effective activation. ## Testing - Add coverage for merged pagination and ranking, API-key local search, scope and feature behavior, deduplication, installed state, and explicit disabled-state reporting. GitOrigin-RevId: 63696a00d16166dfdd86e0cc456769c583ebe9a7
Contributor
|
I have read the CLA Document and I hereby sign the CLA You can retrigger this bot by commenting recheck in this Pull Request. Posted by the CLA Assistant Lite bot. |
copyberry
Bot
force-pushed
the
copyberry/codex-internal-to-codex-oss/63696a00d16166dfdd86e0cc456769c583ebe9a7
branch
from
August 4, 2026 16:17
a0c8b68 to
d75f94a
Compare
copyberry
Bot
deleted the
copyberry/codex-internal-to-codex-oss/63696a00d16166dfdd86e0cc456769c583ebe9a7
branch
August 4, 2026 16:18
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Merge local plugins into plugin search results
What changed
cwds, and merge up to 100 ranked local matches into the first remote result page.remote_pluginis disabled, and consistently reportenabled: falsebecause search results describe discovery rather than effective activation.Testing