Skip to content

Add deep search page to docs#1150

Merged
janhartman merged 7 commits into
sg-next-may28from
jan/deep-search-docs
May 28, 2025
Merged

Add deep search page to docs#1150
janhartman merged 7 commits into
sg-next-may28from
jan/deep-search-docs

Conversation

@janhartman
Copy link
Copy Markdown
Contributor

This PR adds a page for Deep Search, a new experimental feature going into EAP with the 6.4 release.

@janhartman janhartman requested a review from MaedahBatool May 22, 2025 09:54
@vercel
Copy link
Copy Markdown

vercel Bot commented May 22, 2025

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
sourcegraph-docs ✅ Ready (Inspect) Visit Preview 💬 Add feedback May 28, 2025 7:49am

Comment thread docs/code-search/types/deep-search.mdx Outdated
Comment thread docs/code-search/types/deep-search.mdx Outdated
Comment thread docs/code-search/types/deep-search.mdx Outdated
Comment thread docs/code-search/types/deep-search.mdx Outdated
Comment thread docs/code-search/types/deep-search.mdx Outdated
Comment thread docs/code-search/types/deep-search.mdx Outdated
Comment thread docs/code-search/types/deep-search.mdx Outdated
@janhartman janhartman requested a review from chenkc805 May 23, 2025 14:40
@janhartman janhartman requested a review from mmanela May 27, 2025 14:55
Copy link
Copy Markdown
Contributor

@MaedahBatool MaedahBatool left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hey @janhartman I added few tweaks to your PR via direct commits to your branch. Good from my side. Let me know if all is done I can merge to the docs working branch for the 6.4 release.

@janhartman janhartman force-pushed the jan/deep-search-docs branch from 2aebbdd to 3089015 Compare May 28, 2025 07:46
@janhartman janhartman merged commit b2e2bf9 into sg-next-may28 May 28, 2025
5 checks passed
@janhartman janhartman deleted the jan/deep-search-docs branch May 28, 2025 07:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants