Give users the choice to install a repo with a different name than remote #1
Description
This should be done interactively on the install command
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
This should be done interactively on the install command