Skip to content

docs: simplify integrations navigation dropdown - #5229

Merged
mnriem merged 2 commits into
github:mainfrom
mnriem:mnriem-integration-navigation
Nov 3, 2026
Merged

mnriem merged 2 commits into
github:mainfrom
mnriem:mnriem-integration-navigation

Conversation

@mnriem

@mnriem mnriem commented Nov 3, 2026

Copy link
Copy Markdown
Collaborator

Description

Remove individual integration entries from the documentation navigation dropdown so it stays manageable as the integration catalog grows. Keep the overview, CLI reference, catalogs and external adapters, and contributing links. All individual integration guides remain linked from the overview page.

Testing

Documentation-navigation-only change. git diff --check passed. CLI tests and sample-project testing were not run because no executable behavior changed.

  • Tested locally with uv run specify --help
  • Ran existing tests with uv sync && uv run pytest
  • Tested with a sample project (if applicable)

AI Disclosure

  • I did not use AI assistance for this contribution
  • I did use AI assistance (fill in the disclosure below)

AI disclosure: GitHub Copilot using GPT-6.1 Sol (model ID: gpt-6.1-sol), autonomous agent execution directed by the contributor; reasoning effort was not explicitly configured. AI authored the documentation navigation edit, commit message, and PR description. No runtime code was changed.

Remove individual integration entries from the documentation navigation while retaining shared integration resources and the overview directory.

Assisted-by: GitHub Copilot (model: GPT-6.1 Sol, autonomous)

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Copilot AI auto review requested due to automatic review settings November 3, 2026 21:51

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟡 Changes recommended

The navigation update leaves the contributor checklist inconsistent, still directing authors to add per-agent entries to toc.yml despite those entries being removed.

1 open issue
What changed in this PR

This documentation-only pull request simplifies the integrations navigation dropdown while keeping shared documentation links and preserving access to individual guides through the integrations overview.

Changes:

  • Removed individual integration guide entries from docs/toc.yml.
  • Retained the overview, CLI reference, catalogs, external adapters, and contributing links.
  • No executable behavior was changed.
File Summary Review comment
docs/​toc.yml Simplifies the integrations navigation to shared documentation pages. Nit: Update docs/integrations/contributing.md:27, which still instructs contributors to link every new guide from ../toc.yml, or clarify the remaining navigation entry.

Review effort: Lite (auto)

Comment thread docs/toc.yml Resolved
Direct new integration guides to the integration index instead of the navigation dropdown.

Assisted-by: GitHub Copilot (model: GPT-6.1 Sol, autonomous)

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
@mnriem

mnriem commented Nov 3, 2026

Copy link
Copy Markdown
Collaborator Author

Updated the built-in integration checklist to link new guides from the integration index, explicitly excluding the navigation dropdown (ec6614a). On behalf of @mnriem, GitHub Copilot using GPT-6.1 Sol (model ID: gpt-6.1-sol), autonomous execution directed by the contributor with reasoning effort not explicitly configured, authored this documentation correction, commit message, and review summary.

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟢 Approval recommended

No active review issues were identified in the documentation-only navigation and contribution-guidance changes.

1 open issue

Review effort: Lite (auto)

@mnriem
mnriem merged commit 5e8bd40 into github:main Nov 3, 2026
22 checks passed
@mnriem
mnriem deleted the mnriem-integration-navigation branch November 3, 2026 22:28
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.

2 participants