Skip to content

Search pagination: preemptively fetch and cache results for users that are likely to come back soon

Created by: slimsag

After https://github.com/sourcegraph/sourcegraph/pull/4796 is merged, we have the opportunity to preemptively fetch the next page of results for a user which would make using the paginated API substantially faster.

This can be done using the UserID field in the search cursor (see its documentation for some caveats / edge cases we must handle for e.g. security reasons)