You can install GitHub.remoteHub-insiders to consume the new hasWorkspaceContents(workspaceUri: vscode.Uri) API, which returns true if the workspaceUri is provided by a virtual provider that supports requesting the full workspace contents (currently, just GitHub provider URIs) and the workspace contents are currently locally available.
You can install GitHub.remoteHub-insiders to consume the new
hasWorkspaceContents(workspaceUri: vscode.Uri)
API, which returnstrue
if theworkspaceUri
is provided by a virtual provider that supports requesting the full workspace contents (currently, just GitHub provider URIs) and the workspace contents are currently locally available.