sourcegraph / sourcegraph-public-snapshot

Code AI platform with Code Search & Cody
https://sourcegraph.com
Other
10.1k stars 1.27k forks source link

No entrypoint for managing repos if the user hasn't added a code host #19161

Closed arussellsaw closed 3 years ago

arussellsaw commented 3 years ago

Now that we have the 'public repos' box, we want users to be able to add those repos without connecting a code host, however right now there's no way to access the manage repos page without adding a code host. we should also probably make sure the manage repos page understands the current state when loaded without a code host, as it will show options that don't make any sense at the moment, eg 'selected repos'. we should probably get rid of the entire top box.

this is a blocker for #19139

quinnkeast commented 3 years ago

We have a state in the design for the manage repos view for when the user can add other public repos, but hasn't connected a code host:

CleanShot 2021-03-16 at 10 10 33@2x

We also have a state for "no repositories, no code host connections:"

CleanShot 2021-03-16 at 10 20 19@2x