Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix duplicated document cache on GitHub repositories
When opening a file in GitHub.dev two different virtual documents are sent to the language server (`vscode-vfs` and `github`) but the one from `github` is a readonly document.
- Loading branch information