Skip to content

[pull] main from sourcegraph:main#45

Merged
pull[bot] merged 8 commits intoAll-Blockchains:mainfrom
sourcegraph:main
Jun 19, 2021
Merged

[pull] main from sourcegraph:main#45
pull[bot] merged 8 commits intoAll-Blockchains:mainfrom
sourcegraph:main

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Jun 19, 2021

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

Juliana Peña and others added 8 commits June 18, 2021 11:09
…nd log click event (#22239)

- Rename settings button from "Add search scope" to "Add search snippet". From https://github.com/sourcegraph/sourcegraph/pull/22091#discussion_r654557408
- Update schema description of `search.scopes` to read "Predefined search snippets that can be appended to any search (also known as search scopes)". The setting is still called `search.scopes` for backwards compatibility.
- Log event `SearchSnippetClicked` when a snippet is clicked in the sidebar. This event will not have a filter value for privacy reasons, since snippets are user-defined. Closes #21682
This removes feature flag guards for sending repo metadata with our
streaming search results. These features have been enabled for a day now
with no performance degradation, so I think it's safe to remove them
from the code so they are enabled by default on customer instances.
@pull pull bot added the ⤵️ pull label Jun 19, 2021
@pull pull bot merged commit bc534c7 into All-Blockchains:main Jun 19, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants