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

add sphinx jquery extension to fix read the docs search #1721

Merged
merged 2 commits into from
Aug 28, 2024
Merged

add sphinx jquery extension to fix read the docs search #1721

merged 2 commits into from
Aug 28, 2024

Conversation

rhornung67
Copy link
Member

Summary

@rhornung67 rhornung67 mentioned this pull request Aug 26, 2024
Merged
@rhornung67
Copy link
Member Author

@cyrush I can't add you as a reviewer on this. Tagging you in this comment so you see it.

adayton1
adayton1 approved these changes Aug 26, 2024
View reviewed changes
Copy link
Member

@adayton1 adayton1 left a comment

Choose a reason for hiding this comment

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

LGTM

@rhornung67 rhornung67 merged commit 124c33b into develop Aug 28, 2024
26 checks passed
@rhornung67 rhornung67 deleted the pr-from-fork/1719 branch August 28, 2024 18:05
@bmhan12 bmhan12 mentioned this pull request Sep 30, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@MrBurmark MrBurmark MrBurmark approved these changes

@adayton1 adayton1 adayton1 approved these changes

@davidbeckingsale davidbeckingsale Awaiting requested review from davidbeckingsale

@artv3 artv3 Awaiting requested review from artv3

@johnbowen42 johnbowen42 Awaiting requested review from johnbowen42

@rchen20 rchen20 Awaiting requested review from rchen20

@long58 long58 Awaiting requested review from long58

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@rhornung67 @MrBurmark @adayton1 @cyrush