Re-enable the 'public code' box in the Manage Repositories page, & hook up to graphql APIs (!19069) · Merge requests · Administrator / sourcegraph

Administrator requested to merge public-repos-frontend into main Mar 11, 2021

Created by: arussellsaw

This PR hooks up the SetUserPublicRepos graphql API to the manage repositories page, allowing users to list public repos they're interested in searching, and have those repos appear in their searches.

We probably want to make a few further changes:

enable search contexts if the user doesn't have any code hosts or directly added repos
show public repos from this box on the previous page

https://user-images.githubusercontent.com/5236823/110816841-9bbb4480-8283-11eb-9242-d878f9dc1abd.mov

Re-enable the 'public code' box in the Manage Repositories page, & hook up to graphql APIs

Merge request reports