From 2f9d0be3a04460fca9f9c6df69ad57528ea217f1 Mon Sep 17 00:00:00 2001 From: Jacob Pleiness Date: Wed, 2 Apr 2025 15:21:19 -0400 Subject: [PATCH] chore(rel): fix formatting for changelog --- docs/technical-changelog.mdx | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/docs/technical-changelog.mdx b/docs/technical-changelog.mdx index cbcab0ab8..77458fa71 100644 --- a/docs/technical-changelog.mdx +++ b/docs/technical-changelog.mdx @@ -174,13 +174,15 @@ This page documents all notable changes to Sourcegraph. For more detailed change - Rename scope refinement options for (hopefull) better clarity `(PR #4341)` - enable personalized ranking by default `(PR #4148)` - We've enabled personalized ranking for search results in the new web app—marking the first step in integrating user-specific ranking signals into our search pipeline. As a result, queries spanning multiple repositories will prioritize results from repositories the user has frequently contributed to.User can disable the feature by setting `boostRelevantRepositories` to false in the settings - ``` -\{ - "experimentalFeatures": \{ + +```json +{ + "experimentalFeatures": { "boostRelevantRepositories": false, - \}, -\} + }, +} ``` + - (new web ui) Add support for capture group aggregation `(PR #4122)` - Add repo metadata editing `(PR #4086)` - Add simple form validation/handling library `(PR #4084)` @@ -8877,3 +8879,4 @@ The following PRs were merged onto the previous release branch but could not be ## Older versions For older versions of Sourcegraph, see the [CHANGELOG](https://github.com/sourcegraph/sourcegraph-public-snapshot/blob/main/CHANGELOG.md) on GitHub. +```