Skip to content

docs: sync documentation with recent main merges#3519

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

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

Conversation

@aheritier

Copy link
Copy Markdown
Contributor

Covers doc gaps from PRs merged to main in the past 36 hours.

Source PRs covered:

Reviewed and already up to date:

#3517, #3513, #3514 (board: shell shortcut, project editing, env var rename — board docs already reflect these), #3504 (auto theme — TUI and CLI docs already updated), #3505 (theme watcher — no doc change needed per PR), #3507 (dep bumps — no docs), #3506, #3497 (changelogs), #3518, #3515, #3510, #3508, #3491 (bug fixes, internal — no user-facing change), #3499, #3498, #3496, #3489, #3502, #3494 (each updated their own docs).

@aheritier aheritier requested a review from a team as a code owner July 8, 2026 04:05
@aheritier aheritier added kind/docs Documentation-only changes area/a2a Agent-to-Agent protocol, A2A server, inter-agent communication area/docs Documentation changes area/tui For features/issues/fixes related to the TUI labels Jul 8, 2026
@dgageot dgageot merged commit c55c677 into main Jul 8, 2026
18 checks passed
@dgageot dgageot deleted the docs/auto-update branch July 8, 2026 08:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/a2a Agent-to-Agent protocol, A2A server, inter-agent communication area/docs Documentation changes area/tui For features/issues/fixes related to the TUI kind/docs Documentation-only changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants