Skip to content

Conversation

@joedolson
Copy link
Member

@joedolson joedolson commented Dec 22, 2025

This significantly expands the results returned, fixing #258, but may have other side effects.

Please note:
Content committed without contacting the project leads @rianrietveld or @joedolson first, will not be reviewed.

The related issue number: #

Before submitting this PR, please make sure:

  • One of the project leads assigned this task to you.
  • You did not generate content using AI (artificial intelligence), except for translations or spelling checks.

If you submit code or documentation using a local build:

This significantly expands the results returned, fixing #258, but may have other side effects.
@github-actions
Copy link
Contributor

github-actions bot commented Dec 22, 2025

PR Preview
Preview removed because the pull request was closed.
2026-01-05 06:03 UTC

Copy link
Member

@rianrietveld rianrietveld left a comment

Choose a reason for hiding this comment

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

Now it also finds content in the text it seems, instead of just in the headings.
Let's merge it and see how it goes.

@rianrietveld rianrietveld merged commit 1b0c4fd into main Jan 5, 2026
1 check passed
@rianrietveld rianrietveld deleted the fix-search-queries branch January 5, 2026 06:02
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