Navigation Menu

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

Jump to bottom

docs feature: search #276

Merged
merged 1 commit into from Dec 15, 2022
Merged

docs feature: search #276

merged 1 commit into from Dec 15, 2022

Conversation

Benbentwo
Copy link
Member

what

  • adds local search to atmos docs

why

  • Quickly search through documentation

@Benbentwo Benbentwo requested review from a team as code owners December 15, 2022 17:59
@Benbentwo Benbentwo added the documentation Improvements or additions to documentation label Dec 15, 2022
@Benbentwo Benbentwo merged commit 7697c2c into master Dec 15, 2022
@Benbentwo Benbentwo deleted the feature/search branch December 15, 2022 18:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@aknysh aknysh aknysh approved these changes

@dotCipher dotCipher Awaiting requested review from dotCipher dotCipher is a code owner automatically assigned from cloudposse/contributors

@RothAndrew RothAndrew Awaiting requested review from RothAndrew RothAndrew is a code owner automatically assigned from cloudposse/contributors

Assignees
No one assigned
Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@Benbentwo @aknysh