Skip to content

Search pagination: decide better behavior for cloning/missing/timedout/partial repos

Created by: slimsag

After https://github.com/sourcegraph/sourcegraph/pull/4796 is merged, when the following condition is true:

len(batchCommon.cloning) > 0 || len(batchCommon.missing) > 0 || len(batchCommon.timedout) > 0 || len(batchCommon.partial) > 0

The result of the paginated request in this case is questionable for the user and we may want to consider returning an error or asking the user to retry the request later. This needs more thought.