github: Load PRs in batches
Created by: ryanslade
We now load PRs in batches of 10 to avoid hitting Github's api limits on the number of nodes returned
Issue: https://github.com/sourcegraph/sourcegraph/issues/6658
Created by: ryanslade
We now load PRs in batches of 10 to avoid hitting Github's api limits on the number of nodes returned
Issue: https://github.com/sourcegraph/sourcegraph/issues/6658