Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

Docs updates#30564

Merged
benvenker merged 1 commit into
mainfrom
update-contexts-docs
Feb 2, 2022
Merged

Docs updates#30564
benvenker merged 1 commit into
mainfrom
update-contexts-docs

Conversation

@benvenker

Copy link
Copy Markdown
Contributor
  • Remove "statistics" section as this feature no longer exists
  • Remove "search scopes" documentation. This seems to be a reference to either snippets or search contexts, but it's confusing and incorrect in either case.
  • Remove version contexts as they are now deprecated

- Remove "statistics" section as this feature no longer exists
- Remove "search scopes" documentation. This seems to be a reference to either snippets or search contexts, but it's confusing and incorrect in either case.
- Remove version contexts as they are now deprecated
@benvenker benvenker requested a review from novoselrok February 2, 2022 18:03
@cla-bot cla-bot Bot added the cla-signed label Feb 2, 2022
@sourcegraph-bot

Copy link
Copy Markdown
Contributor

Codenotify: Notifying subscribers in CODENOTIFY files for diff f0ae094...34b3a2a.

Notify File(s)
@rvantonder doc/code_search/explanations/features.md

@benvenker benvenker merged commit e5d3835 into main Feb 2, 2022
@benvenker benvenker deleted the update-contexts-docs branch February 2, 2022 18:16
davejrt pushed a commit that referenced this pull request Feb 15, 2022
- Remove "statistics" section as this feature no longer exists
- Remove "search scopes" documentation. This seems to be a reference to either snippets or search contexts, but it's confusing and incorrect in either case.
- Remove version contexts as they are now deprecated
fkling added a commit that referenced this pull request Feb 23, 2023
This flag had been removed in #46045 but (accidentally?) added
back in #45705. The feature (search stats) itself been removed in
 #45996. Documentation about it has already been removed in #30564. The
link removed in this PR has been dead since then.
fkling added a commit that referenced this pull request Feb 24, 2023
This flag had been removed in #46045 but (accidentally?) added back in
#45705. The feature (search stats) itself been removed in #45996.
Documentation about it has already been removed in #30564. The link
removed in this PR has been dead since then.

## Test plan

`grep`ped the code for references to the flag and used sourcegraph to
find the commits that made changes to the related code and
documentation.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants