Skip to content

Fix remote workspace alias resolution#469

Merged
chubes4 merged 1 commit into
mainfrom
fix/remote-workspace-alias
May 29, 2026
Merged

Fix remote workspace alias resolution#469
chubes4 merged 1 commit into
mainfrom
fix/remote-workspace-alias

Conversation

@chubes4
Copy link
Copy Markdown
Member

@chubes4 chubes4 commented May 29, 2026

Summary

  • Resolve workspace aliases inside the GitHub-backed remote workspace backend before looking up worktrees or primary repos.
  • Add smoke coverage proving current-project works for remote reads and status calls.

Testing

  • php -l inc/Workspace/RemoteWorkspaceBackend.php
  • php -l tests/smoke-remote-workspace-backend.php
  • php tests/smoke-remote-workspace-backend.php
  • git diff --check

AI assistance

  • AI assistance: Yes
  • Tool(s): OpenCode (GPT-5.5)
  • Used for: Diagnosed the remote backend alias gap, drafted the code/test changes, and ran focused local validation for Chris to review.

@chubes4 chubes4 merged commit cce28bd into main May 29, 2026
4 of 5 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