artin/sourcegraph
1
0
Fork 0
mirror of https://github.com/sourcegraph/sourcegraph.git synced 2026-02-06 18:51:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

Chore: fix default value for clientSearchResultRanking (#64420)

Browse Source 
The search clients [default to using Zoekt's
ranking](https://sourcegraph.com/github.com/sourcegraph/sourcegraph@f010787579fc0b88ef945a6cfd0091c58eefceeb/-/blob/client/web-sveltekit/src/routes/search/FileContentSearchResult.svelte?L29-29)
if this setting is unset, but it's documented as defaulting to ordering
by line number. Just fixes the default in the schema, which is only used
for documentation.
This commit is contained in:
Camden Cheek 2024-08-12 16:47:08 -06:00 committed by GitHub
parent 74f4831aa3
commit a9b536cbcd
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
schema/settings.schema.json
View File

@ -115,7 +115,7 @@
"clientSearchResultRanking": {
"description": "How to rank search results in the client",
"type": "string",
"default": "by-line-number",
"default": "by-zoekt-ranking",
"examples": ["by-line-number", "by-zoekt-ranking"],
"!go": {
"pointer": true