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.

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

Add docs search #320

Merged
merged 1 commit into from
May 19, 2023
Merged

Add docs search #320

merged 1 commit into from
May 19, 2023

Conversation

alexandradragodan
Copy link
Contributor

@alexandradragodan alexandradragodan commented May 19, 2023

  • added algolia search crawler app (also configured crawler)
  • updated docusaurus
  • removed some vcluster media files

Fixes ENG-1396

Signed-off-by: Alexandra Dragodan [email protected]

added algolia search crawler app
updated docusaurus
Signed-off-by: Alexandra Dragodan <[email protected]>
@netlify
Copy link

netlify bot commented May 19, 2023

Deploy Preview for devpod-docs ready!

Name Link
🔨 Latest commit 338c831
🔍 Latest deploy log https://app.netlify.com/sites/devpod-docs/deploys/64678b7f56867b0008834bc5
😎 Deploy Preview https://deploy-preview-320--devpod-docs.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site settings.

@FabianKramm FabianKramm merged commit 7db5cbc into main May 19, 2023
@ThomasK33 ThomasK33 deleted the algolia-docs-search branch May 24, 2023 14:39
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.

3 participants