Trouble connecting to workspace in VSCode when name matched deleted workspace
Open
- Dominant language
- TypeScript
- Stars
- 130
- Forks
- 48
- Avg merge
- 3d 3h
- Merged PRs (30d)
- 15
Description
> FYI, we had a report of someone having trouble connecting to a workspace via VS Code when the name matched the name of a previous workspace they had deleted. It seems like there's some state leakage in the VS Code extension.
^ Context linked from Slack.
Contributor guide
Assessment
This issue has not been assessed yet.