Allow renaming a repo #697
vHanda
started this conversation in
Feature Requests
Replies: 1 comment
-
|
I would like to have this feature, for instance after making a false start with a new repo. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Currently the repos are named before to
repo_num. When setting up the git host, I do try to guess the name and rename it, but it would be nice to provide a way to rename it.Also, a user asked for it.
Beta Was this translation helpful? Give feedback.
All reactions