Docs

Add your repos as workspaces.

Workspaces store local repository paths, aliases, dev ports, provider preferences, and safety policy.