[go: up one dir, main page]

Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix long queries at /q #1223

Merged
merged 1 commit into from
Feb 2, 2024
Merged

Fix long queries at /q #1223

merged 1 commit into from
Feb 2, 2024

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.
Copy link
gitpod-io bot commented Feb 1, 2024

@calyptobai calyptobai merged commit 4bbd4dc into main Feb 2, 2024
2 checks passed
@calyptobai calyptobai deleted the fix-long-query branch February 2, 2024 14:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants