Closed lgranie closed 3 weeks ago
You can select the repo you want rename, and open context menu by right-click, then you'll see the entry to edit it
Without the "repo view" opened, it was not obvious Thx
Without the "repo view" opened, it was not obvious Thx
You need not open a repo. You can do this in the Welcome page.
Currently a tab got the name of the local repository's directory. Could be nice to be able to rename it.