A workspace root is a directory that has been added to a workspace. A workspace can have zero or more roots. Often, each root is the root directory of a repository.
The URI of the root.
The format of this URI will be changed in the future. It must not be relied on.
git://github.com/sourcegraph/sourcegraph?sha#mydir1/mydir2
Generated using TypeDoc
A workspace root is a directory that has been added to a workspace. A workspace can have zero or more roots. Often, each root is the root directory of a repository.