Skip to content
This repository was archived by the owner on Jan 2, 2025. It is now read-only.

Conversation

@calyptobai
Copy link
Contributor

@calyptobai calyptobai commented Feb 1, 2024

This fixes code search against repos where the name is longer than 5 characters.

The general strategy here is to bail out of case permutations if any tokens in the generated token stream are too long. This means that for a query like repo:foobar quux, the quux portion will match in a case-insensitive fashion, while the repo foobar must match case exactly.

This fixes code search against repos where the name is longer than 5
characters.

The general strategy here is to bail out of case permutations if any
tokens in the generated token stream are too long. This means that for a
query like `repo:foobar quux`, the `quux` portion will match in a
case-insensitive fashion, while the repo `foobar` must match case
exactly.
@gitpod-io
Copy link

gitpod-io bot commented Feb 1, 2024

@calyptobai calyptobai merged commit 4bbd4dc into main Feb 2, 2024
@calyptobai calyptobai deleted the fix-long-query branch February 2, 2024 14:34
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants