Skip to content

feat: first-class remote workspaces#186

Merged
benjaminshafii merged 2 commits intodevfrom
improved-workspaces
Jan 22, 2026
Merged

feat: first-class remote workspaces#186
benjaminshafii merged 2 commits intodevfrom
improved-workspaces

Conversation

@benjaminshafii
Copy link
Copy Markdown
Member

Summary

  • add remote workspace type/metadata, create/forget/update commands, and state migration in Tauri
  • wire connection-first remote activation with directory discovery and connect status indicators
  • update workspace picker/onboarding UI plus i18n for remote workspace flows

Testing

  • not run (not requested)

@github-actions
Copy link
Copy Markdown
Contributor

The following comment was made by an LLM, it may be inaccurate:

@benjaminshafii benjaminshafii merged commit 891b878 into dev Jan 22, 2026
10 checks passed
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