Skip to content

docs: sync documentation with recent main merges#3340

Merged
dgageot merged 3 commits into
mainfrom
docs/auto-update
Jul 1, 2026
Merged

docs: sync documentation with recent main merges#3340
dgageot merged 3 commits into
mainfrom
docs/auto-update

Conversation

@aheritier

Copy link
Copy Markdown
Contributor

Syncs /docs with three merged feature PRs from the last 36 hours.

PR #3305docs/_data/nav.yml + docs/configuration/tools/index.md
Added the session_plan toolset to the nav sidebar and to the built-in tools table. The page docs/tools/session_plan/index.md was shipped in the PR itself; only the navigation wiring was missing.

PR #3335docs/configuration/models/index.md
Documented the new compaction_model field: schema block, Properties Reference table row, and a "Delegating Session Compaction" section with a YAML example, a note on window-sizing behaviour, a constraint callout, and a link to the example file.

PR #3338docs/configuration/models/index.md
Documented the new bypass_models_gateway field: schema block, Properties Reference table row, and a "Gateway Bypass" section with a YAML example, propagation-through-router note, a security callout, a constraint callout, and a link to the example file.

PRs not requiring doc changes: #3337 (OpenRouter — shipped its own docs), #3320 (session_context — shipped its own docs), #3306 (instruction_file list — shipped its own docs), #3322 (1password caching — shipped its own docs), #3325/#3304 (docs PRs themselves), #3327/#3312/#3324/#3323 (bug fixes with no config surface), #3321/#3326/#3328#3332 (internal refactors/tests), #3334 (CI), #3314/#3331/#3339 (CHANGELOG only), #3310 (covered by PR #3313 docs sync).

@aheritier aheritier requested a review from a team as a code owner July 1, 2026 04:08
@aheritier aheritier added kind/docs Documentation-only changes area/docs Documentation changes labels Jul 1, 2026
@dgageot dgageot merged commit 6c9836e into main Jul 1, 2026
13 checks passed
@dgageot dgageot deleted the docs/auto-update branch July 1, 2026 06:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/docs Documentation changes kind/docs Documentation-only changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants