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.
