Renaming a repository
Only the repository owner can rename a repository.
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.
Open the repo card menu
Click the three-dot menu on the repo card and select Rename.
Enter the new name
In the Rename Repository dialog, type the new name for your repository and click Rename.
Deleting a repository
Deleting a repository is permanent and cannot be undone. All branches, commits, and history will be lost.
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.
Open the repo card menu
Click the three-dot menu on the repo card and select Delete.
Confirm by typing the repository name
To prevent accidental deletion, you must type the exact repository name to confirm. Then click Delete.
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.
Open your profile
Click on your avatar in the top navigation and select Your profile.
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.
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.
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.
