Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Docs: update search page #9573

Closed
Tracked by #9258
agjohnson opened this issue Aug 31, 2022 · 1 comment · Fixed by #9625
Closed
Tracked by #9258

Docs: update search page #9573

agjohnson opened this issue Aug 31, 2022 · 1 comment · Fixed by #9625
Assignees
@stsewd

Comments

@agjohnson
Copy link
Contributor

agjohnson commented Aug 31, 2022 •
edited
Loading

From #9258

  • we call the feature "full-text search" support, but the page is named "Server Side Search"; we should probably unify them
  • the content looks good to me, just some minor edits would be fine for now
@agjohnson agjohnson mentioned this issue Aug 31, 2022
Closed
9 tasks
@agjohnson agjohnson moved this to Planned in 📍Roadmap Aug 31, 2022
@ericholscher
Copy link
Member

I think this is already happening in #9625

@agjohnson agjohnson linked a pull request Nov 8, 2022 that will close this issue
Search: API V3 #9625
Merged
@stsewd stsewd moved this from Planned to In progress in 📍Roadmap Nov 22, 2022
@benjaoming benjaoming mentioned this issue Nov 23, 2022
Merged
Repository owner moved this from In progress to Done in 📍Roadmap Nov 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@stsewd stsewd

Labels
None yet
Projects
📍Roadmap
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Search: API V3 readthedocs/readthedocs.org
4 participants
@ericholscher @benjaoming @agjohnson @stsewd