GitHub Ocean file and folder kinds should support repository search so customers can pre-filter which repositories are scanned at fetch time.

Today, when is omitted, the integration lists every accessible repository, searches for matching files in each one.

The field works today and does pre-filter at fetch time, but it requires an explicit list of exact repository names. That does not scale for orgs that maintain a dynamic list of repos to search, repos are added and removed frequently based on naming patterns, and manually keeping a static list in sync is impractical at scale.

already exists on repository, PR, and issue kinds but not on file or folder. Adding it to file/folder selectors would let customers dynamically scope file ingestion using GitHub Search queries without scanning the entire org or manually updating a repo list.