Merge branch 'main' into sg-next-apr-2025

Author: MaedahBatool

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.
+```