search pagination: use a much less strict timeout for very large repos (!6619) · Merge requests · Administrator / sourcegraph

Administrator requested to merge sg/pagination-timeouts into master Nov 15, 2019

Created by: slimsag

Fixes #6384

Test plan: Manually tested (this one aspect would be very hard to automatically test)

search pagination: use a much less strict timeout for very large repos