Something went wrong on our end. Please try again.
Created by: tsenart
These are not meant to be re-ordered, since they don't have a rank, but they were so far, which caused the buffer to fill up quickly and get flushed before we had the chance to re-order actual file matches.
Co-authored-by: Stefan Hengl stefan@sourcegraph.com