Skip to content

improvement(docs): illustrate GitHub Search setup - #7705

Merged
icecrasher321 merged 2 commits into
stagingfrom
codex/github-search-ui-docs
Sep 10, 2026
Merged

improvement(docs): illustrate GitHub Search setup#7705
icecrasher321 merged 2 commits into
stagingfrom
codex/github-search-ui-docs

Conversation

@icecrasher321

@icecrasher321 icecrasher321 commented Sep 10, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • Add four cropped screenshots of GitHub indexing choices, personal authorization, installation selection, and repository filters using the existing Search docs image component.
  • Cover installation, connected-member, and dedicated-account indexing, and explain PEM formatting and separate worker configuration.

Type of Change

  • Documentation improvement

Testing

Docs typecheck, MDX generation, lint, all 46 repository audits, block registry, and docs manifest checks passed. Visually inspected all four screenshots and redacted account details. Manually verified installation indexing, personal authorization, search, and disconnect/reconnect behavior.

Checklist

  • Code follows project style guidelines
  • Self-reviewed my changes
  • Checks passing
  • No new warnings introduced
  • I confirm that I have read and agree to the terms outlined in the Contributor License Agreement (CLA)

@vercel

vercel Bot commented Sep 10, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
docs Ready Ready Preview Sep 10, 2026 3:54am UTC

Request Review

@greptile-apps

greptile-apps Bot commented Sep 10, 2026

Copy link
Copy Markdown
Contributor

RetriggerConfidence Score: 5/5

The documentation-only changes appear safe to merge, with no actionable correctness, security, or repository-rule issues identified.

Summary

  • Adds screenshots for selecting an indexing method, connecting a personal GitHub account, choosing an installation, and configuring repository filters.
  • Clarifies connected-member, dedicated-account, and GitHub App installation indexing.
  • Documents private-key formatting and separate Trigger.dev worker credentials.

Diagram

%%{init: {'theme': 'neutral'}}%%
flowchart TD
  A[Enable GitHub Search source] --> B{Choose indexing identity}
  B --> C[Connected members]
  B --> D[Dedicated GitHub account]
  B --> E[GitHub App installation]
  E --> F[Authorize personal GitHub account]
  F --> G[Install or select GitHub App installation]
  G --> H[Choose repository and filters]
  C --> H
  D --> H
  H --> I[Index repository content]
  I --> J[Verify each searcher's GitHub access]
Loading

Reviews (1) · Last reviewed commit: "improvement(docs): update GitHub App set..."

@icecrasher321
icecrasher321 merged commit b8ceb2e into staging Sep 10, 2026
35 checks passed
@icecrasher321
icecrasher321 deleted the codex/github-search-ui-docs branch September 10, 2026 04:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant