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

Incorporate updated antora-lunr search once merged there #57

Open
oddhack opened this issue Dec 8, 2023 · 1 comment
Open

Incorporate updated antora-lunr search once merged there #57

oddhack opened this issue Dec 8, 2023 · 1 comment
Assignees
@oddhack
Labels
antora Fix or extension to antora behavior needed enhancement New feature or request navigation improve site navigation search improve search
Milestone
Deferred

Comments

@oddhack
Copy link
Collaborator

oddhack commented Dec 8, 2023

Tracking issue for search: @gpx1000 came up with a big improvement which we currently incorporate into our build environment, and someone was kind enough to boost that into an MR in the antora-lunr repo: https://gitlab.com/antora/antora-lunr-extension/-/merge_requests/93 . Once that is merged and published in a package update, we should migrate over to the upstreamed fix and stop using the local one.
@oddhack oddhack self-assigned this Dec 8, 2023
@oddhack oddhack added the enhancement New feature or request label Dec 8, 2023
@oddhack oddhack added navigation improve site navigation search improve search antora Fix or extension to antora behavior needed labels Jan 29, 2024
@oddhack oddhack added this to the Needs Action/MR milestone Jan 30, 2024
@oddhack
Copy link
Collaborator Author

oddhack commented Jan 30, 2024 •
edited

This is deferred pending the antora-lunr PR being merged and an updated package published.

@oddhack oddhack modified the milestones: Needs Action/MR, Deferred Jan 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@oddhack oddhack

Labels
antora Fix or extension to antora behavior needed enhancement New feature or request navigation improve site navigation search improve search
Projects
None yet
Milestone
Deferred
Development

No branches or pull requests
1 participant
@oddhack