Skip to content

docs: weekly docs update - 2026-07-29 - #6047

Closed
github-actions[bot] wants to merge 1 commit into
mainfrom
docs/update-2026-07-29-30441469521
Closed

github-actions[bot] wants to merge 1 commit into
mainfrom
docs/update-2026-07-29-30441469521

Conversation

@github-actions

@github-actions github-actions Bot commented Jul 29, 2026 •

Copy link
Copy Markdown
Contributor

Summary

This PR was automatically generated by Claude Code to update documentation based on recent PRs.

Details

  • Prompt file: .github/prompts/update-docs.md
  • Generated on: 2026-07-29

Review Checklist

  • Review all doc changes for accuracy
  • Verify new content matches actual product behavior
  • Check that no existing correct content was accidentally removed

Please review the changes before merging.


Open in Stage

Summary by cubic

Documents new terminal session management across CLI, SDK, and MCP, plus updates to typography settings and workspace/ports behavior. Improves guidance for remote hosts, pinning, new project creation, and agent startup sequencing.

  • New Features
    • CLI: superset terminals list|send|read|close
    • SDK: terminals.list|send|read|close with guidance to start once via agents.create and use terminals.send/read for follow-ups
    • MCP tools: terminals_list, terminals_send, terminals_read, terminals_close
    • Settings: separate Editor and Terminal typography controls with live previews
    • Ports: confirmation prompt for closing ports (with “Don’t ask again,” shared with terminal close)
    • Remote workspaces: device filter now selects a single host; no merged “All devices” view
    • Workspaces: pin items to a persistent “Pinned” section in the sidebar
    • First workspace: “Create new project” flow (creates folder, inits Git on main, registers immediately)
    • Setup/teardown: experimental option to wait for setup before starting agents, reusing the setup terminal and skipping on failure

Written for commit 3ba5a74. Summary will update on new commits.

Review in cubic

@ghost

ghost commented Jul 29, 2026

Copy link
Copy Markdown

Ready to review this PR? Stage has broken it down into 3 individual chapters for you:

Title
1 Document terminal management API and CLI commands
2 Update workspace creation and management features
3 Document workspace setup and terminal settings
Open in Stage

Chapters generated by Stage for commit 3ba5a74 on Jul 29, 2026 10:03am UTC.

@Kitenite

Kitenite commented Aug 1, 2026

Copy link
Copy Markdown
Member

Closing: the update-docs.yml workflow that generated this was removed in #6110; docs updates now run as a local Superset automation. This PR is also CONFLICTING.

The content mostly still holds, so it is not being discarded — 8 of the 9 files are still accurate and still missing from main, and will be re-landed as a reviewed change. Highest value first:

  1. remote-workspaces.mdx — main documents an "All devices" filter that does not exist in the code. Actively misleading; being fixed now.
  2. cli/cli-reference.mdx and sdk/reference.mdx — terminals list/send/read/close are undocumented on both surfaces.
  3. Short feature notes: workspace pinning, port-close confirmation, editor/terminal typography, create-new-project, wait-for-setup.

mcp-server.mdx is dropped — already superseded by #6029, and it is the source of the conflict.

@Kitenite Kitenite closed this Aug 1, 2026
Kitenite added a commit that referenced this pull request Aug 1, 2026
The Device filter renders exactly two things: a This device item, and an
Other devices group listing each opted-in remote host by name with an
online indicator (V2WorkspacesHeader.tsx:201-225). There is no All
devices option -- the string does not appear anywhere in apps/desktop/src.

Found while triaging #6047.
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.

1 participant