Skip to content

Commit de2ef25

Browse files
jmoseleyCopilot
andcommitted
[Docs] Unwrap the lone Rust tab in the streaming-events article
The "Subscribing before a session starts" section has only a Rust example, and the docs normalization pipeline converts a `<details>` group into a tabbed language switcher only when two or more consecutive blocks are present. A single block renders as raw collapsible HTML on docs.github.com. Drop the `<details>`/`<summary>` wrapper and leave the code fence directly in the article, matching the repository docs style guide. Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com> Copilot-Session: 0f9d5ac7-9999-4f37-82b3-a5533bfbc1f6
1 parent 69da770 commit de2ef25

1 file changed

Lines changed: 0 additions & 5 deletions

File tree

docs/features/streaming-events.md

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -225,9 +225,6 @@ A session can emit events before its create or resume call returns. The agent ma
225225
> [!TIP]
226226
> **(Rust)** `Client::prepare_session` and `Client::prepare_resume_session` return a `PreparedSession` that owns the session's event channel before any protocol activity happens. Subscribe first, then call `start()`.
227227
228-
<details open>
229-
<summary><strong>Rust</strong></summary>
230-
231228
```rust
232229
use github_copilot_sdk::{Client, SessionConfig};
233230

@@ -252,8 +249,6 @@ async fn create_without_missing_startup_events(
252249
}
253250
```
254251

255-
</details>
256-
257252
`prepare_*` is synchronous and inert: it validates the buffer capacity, allocates a local channel, and does nothing else. No session is registered and nothing reaches the CLI until `start()` is first polled. Dropping a prepared session that was never started leaves no state behind and closes its subscriptions; dropping the `start()` future cancels the in-flight startup and unregisters the session, so a retry with the same session ID succeeds. Cleanup is scoped to the exact registration the abandoned startup owned, so it cannot evict a retry that has already taken over the same session ID.
258253

259254
Startup buffering is worth planning for:

0 commit comments

Comments
 (0)