Skip to content

docs: flatten project history navigation - #4265

Merged
mnriem merged 1 commit into
github:mainfrom
mnriem:mnriem-sync-upstream-78c
Aug 21, 2026
Merged

docs: flatten project history navigation#4265
mnriem merged 1 commit into
github:mainfrom
mnriem:mnriem-sync-upstream-78c

Conversation

@mnriem

@mnriem mnriem commented Aug 21, 2026

Copy link
Copy Markdown
Collaborator

Description

Makes Project History a direct top-level documentation destination and removes the single-item About hierarchy.

Testing

Documentation-only navigation change; reviewed the rendered TOC structure and checked the diff for whitespace errors.

  • 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 (describe below)

GitHub Copilot (model: GPT-5.6 Sol) assessed the documentation information architecture and authored the navigation change under user direction.

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

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

Copilot-Session: 0f0ad8f8-ea22-44ca-86c7-a485c888ec91
Copilot AI balanced review requested due to automatic review settings August 21, 2026 19:43

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.

Pull request overview

Flattens documentation navigation by promoting Project History to a top-level destination.

Changes:

  • Removes the single-item About hierarchy.
  • Links Project History directly to history.md.
Show a summary per file
File Description
docs/toc.yml Promotes Project History to the top-level TOC.

Review details

馃挕 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

  • Files reviewed: 1/1 changed files
  • Comments generated: 0
  • Review effort level: Balanced

@mnriem
mnriem merged commit 720b31f into github:main Aug 21, 2026
14 checks passed
@mnriem
mnriem deleted the mnriem-sync-upstream-78c branch August 21, 2026 19:54
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