Skip to content

docs: auto-update for merged PRs (2026-08-01) - #3880

Merged
Sayt-0 merged 1 commit into
mainfrom
docs/auto-update
Aug 3, 2026
Merged

docs: auto-update for merged PRs (2026-08-01)#3880
Sayt-0 merged 1 commit into
mainfrom
docs/auto-update

Conversation

@aheritier

Copy link
Copy Markdown
Collaborator

Documentation Updates

This PR updates the documentation to reflect code changes merged into main in the last 36 hours.

Summary of Documentation Changes

Added coverage for PR #3877: feat(tui): show compaction summary in context dialog

The /context dialog now displays the verbatim text of the most recent compaction summary when a session has been compacted. This enhancement improves visibility into what was summarized during automatic or manual compaction.

Documentation files updated:

  • docs/features/tui/index.md — Updated /context command description and Team Context Budgets section to mention the new compaction summary display
  • docs/guides/compaction/index.md — Updated the "Compact on demand" section to describe the new summary display feature

Source PRs covered:


Note: PR #3876 (fix: preserve terminal and UTF-8 in sandbox plan editor) was reviewed and determined not to require documentation changes, as it addresses internal implementation details (locale and terminal handling) that are not exposed to users in the documentation.

Reflects changes from #3877.
Source PR: #3877

The /context dialog now displays the verbatim text of the most recent
compaction summary when a session has been compacted. Updated the TUI
features documentation and compaction guide to reflect this new capability.
@aheritier
aheritier requested a review from a team as a code owner August 1, 2026 04:02
@aheritier aheritier added kind/docs Documentation-only changes area/docs Documentation changes labels Aug 1, 2026
@Sayt-0
Sayt-0 merged commit 2ff503e into main Aug 3, 2026
21 checks passed
@Sayt-0
Sayt-0 deleted the docs/auto-update branch August 3, 2026 08:40
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.

3 participants