Skip to content

Rename "sessions" to "sandboxes" to adopt new customer-facing vocab.#21

Merged
erikrose merged 1 commit into
mainfrom
sessions-to-sandboxes
Nov 19, 2025
Merged

Rename "sessions" to "sandboxes" to adopt new customer-facing vocab.#21
erikrose merged 1 commit into
mainfrom
sessions-to-sandboxes

Conversation

@erikrose
Copy link
Copy Markdown
Member

No description provided.

@erikrose erikrose merged commit e85c773 into main Nov 19, 2025
3 checks passed
@erikrose erikrose deleted the sessions-to-sandboxes branch February 3, 2026 16:13
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.

2 participants