Support adding other's repos to a workspace
Allow adding a repo to a workspace that is not in the drop-down list by letting us enter a repo name¹, for example aws/aws-cli.
Currently only the repos that are in the drop-down list can be added. A repo can be typed in but it must match once of the repos in the drop-down list.
* This would be useful for locally-cloned global tools that aren't submodules.
* Without this the on-boarding experience is incomplete.
* This would also allow us to see at a glance which repos for global tools need to be pulled.
¹ Extra stretch: Allow pasting in the full URL and automatically extracting the repo name from it. For example, these all becomes user/repo: https://github.com/user/repo, https://github.com/user/repo.git and git@github.com:user/repo.git.
Comments: 3
Oldest
•
Newest
•
Most likes
•
Fewest likes
-
20 Dec, '22
Carlo CardellaHighlighted comment
Ditto. I am member of some very big orgs, when I try to add repos from one of those, all I get is a list of the top 100 repositories but it is very hard (if not impossible) to find the ones I am really interested in -
17 Aug, '22
Ken SodemannSome of the orgs I am a member of have a lot of repos, and they don't all seem to load in the drop-down even though I have access to them. Being able to just add the repos like this and then have it either work or fail based on access would be wonderful.
-
24 Aug, '23
Csaba MaulisInterestingly, if you create a Local Workspace (not cloud), add your repos, and then convert it to a cloud workspace, it works. However, managing it can be really tedious, because you need to start over if you want to include another one.