Repository Management
Manage repositories tracked by roborev:
roborev repo list # List all repos with review countsroborev repo show my-project # Show repo details and statsroborev repo rename old-name new-name # Rename display nameroborev repo delete old-project # Remove from trackingroborev repo merge source target # Merge reviews into another repoSubcommands
| Command | Description |
|---|---|
repo list | List all repositories with review counts |
repo show <name> | Show detailed stats for a repository |
repo rename <old> <new> | Rename a repository’s display name |
repo delete <name> | Remove repository from tracking |
repo merge <src> <dst> | Move all reviews to another repo |
Common Use Cases
Rename for Clarity
The rename command is useful when you want a friendlier display name than the directory name:
roborev repo rename my-project-v2 "My Project"Consolidate Duplicates
The merge command consolidates duplicate entries (e.g., from symlinks or path changes):
# Reviews from /home/user/projects/myapp are stored under "myapp"# Reviews from /home/user/work/myapp are stored under "myapp-1"roborev repo merge myapp-1 myappClean Up Old Projects
roborev repo list # See all tracked reposroborev repo delete old-project # Remove one you no longer needMultiple Clones
You can have multiple local clones of the same remote repository (e.g., ~/project-main and ~/project-feature). Each clone is tracked separately in roborev while sharing the same repository identity for sync purposes.
When using PostgreSQL Sync, reviews from teammates are intelligently matched:
- If you have exactly one local clone with that identity, synced reviews appear there
- If you have multiple clones, a placeholder repo is created to avoid ambiguity
How Repositories Are Tracked
roborev automatically creates a repository entry when you:
- Run
roborev initin a repo - Queue a review for a commit in a new repo
- Run any roborev command in an untracked repo
The default display name is the directory name. You can customize this with:
# .roborev.toml in your repodisplay_name = "My Custom Name"See Also
- Git Worktrees - How worktrees are handled
- Configuration - Per-repo and global settings