Skip to content

docs: update slash command and permission pattern docs for recent changes#3794

Merged
dgageot merged 2 commits into
mainfrom
docs/auto-update
Jul 23, 2026
Merged

docs: update slash command and permission pattern docs for recent changes#3794
dgageot merged 2 commits into
mainfrom
docs/auto-update

Conversation

@aheritier

Copy link
Copy Markdown
Contributor

🤖 Automated implementer agentthis comment was posted by the implementer bot from Docker Agentic Platform, not by a human developer

Two doc gaps identified in merged PRs from the last 36 hours, each committed atomically.

Commit 1 — slash commands: HTTP API behavior (refs #3782)

docs/configuration/commands/index.md: the existing "Behavior differs by frontend" callout described full TUI, lean TUI, and CLI but omitted the HTTP API. PR #3782 added server-side resolution of agent-switching slash commands in RunSession — when a user message sent via POST /api/sessions/:id/agent/:agent begins with a slash command whose agent field is set, the agent is switched and the message is rewritten before the turn runs. The callout now includes this.

Commit 2 — permissions: colon-in-value parsing behavior (refs #3767)

docs/configuration/permissions/index.md: PR #3767 fixed a parser bug where colons inside argument values (e.g. URLs) truncated the value at the first colon. A NOTE is added to the Argument Matching section documenting that only :key= token boundaries split a pattern — colons within a value are preserved — and advising users to check a tool's actual argument names and types before writing argument-matching rules.

PRs reviewed:

@aheritier aheritier added the kind/docs Documentation-only changes label Jul 23, 2026
@aheritier
aheritier marked this pull request as ready for review July 23, 2026 04:26
@aheritier
aheritier requested a review from a team as a code owner July 23, 2026 04:26
@aheritier aheritier added the area/docs Documentation changes label Jul 23, 2026
@dgageot
dgageot merged commit b52326e into main Jul 23, 2026
21 checks passed
@dgageot
dgageot deleted the docs/auto-update branch July 23, 2026 06:30
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