Handle GitHub repositoryQuery that has more than 1000 results
Created by: beyang
GitHub's Search API will return at most 1000 results. This issue tracks discussion on how to solve this as well as the implementation of the solution. This is a blocker of some broader work we are doing on repository syncing https://github.com/sourcegraph/sourcegraph/issues/2025