Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.diversion.dev/llms.txt

Use this file to discover all available pages before exploring further.

​
Renaming a repository

Only the repository owner can rename a repository.
1

Find the repo on the dashboard

Go to the All Repositories view on the dashboard (not from a local workspace). Locate the repository you want to rename.
2

Open the repo card menu

Click the three-dot menu on the repo card and select Rename.Rename option in repo card menu
3

Enter the new name

In the Rename Repository dialog, type the new name for your repository and click Rename.Rename repository dialog

​
Deleting a repository

Deleting a repository is permanent and cannot be undone. All branches, commits, and history will be lost.
1

Find the repo on the dashboard

Go to the All Repositories view on the dashboard (not from a local workspace). Locate the repository you want to delete.
2

Open the repo card menu

Click the three-dot menu on the repo card and select Delete.Delete option in repo card menu
3

Confirm by typing the repository name

To prevent accidental deletion, you must type the exact repository name to confirm. Then click Delete.Delete repository confirmation dialog
Via the CLI, run dv repo -d <repo-name>. See the repo command for details.

​
Viewing workspaces

If you are an owner or admin of a repository, you can view and manage all workspaces in that repository, including those belonging to other collaborators. This is useful for debugging issues or managing changes on behalf of a team member.
1

Open your profile

Click on your avatar in the top navigation and select Your profile.
2

Go to Workspaces

In the left sidebar under Repositories, click Workspaces. If you are an owner or admin of multiple repositories, use the repository selector dropdown to pick the repository you want to inspect.Workspaces list showing all workspaces
3

Open a workspace

The table lists all workspaces with their name, auto-update status, and owner. Click the actions menu on a workspace and select Open to view its contents and pending changes. You can also Rename or Delete workspaces from this menu.Opening a workspace
When you open a workspace you don’t own, any operations you perform will affect the workspace owner. A confirmation dialog will appear before you proceed.