Skip to content

Search fix#6071

Merged
JV0812 merged 1 commit intomainfrom
search-fix
Dec 2, 2025
Merged

Search fix#6071
JV0812 merged 1 commit intomainfrom
search-fix

Conversation

@JV0812
Copy link
Collaborator

@JV0812 JV0812 commented Dec 2, 2025

Purpose of this pull request

This pull request is to fix the search bar issue.

Select the type of change

  • Minor Changes - Typos, formatting, slight revisions
  • Update Content - Revisions, updating sections
  • New Content - New features, sections, pages, tutorials
  • Site and Tools - .clabot, version updates, maintenance, dependencies, new packages for the site (Docusaurus, Gatsby, React, etc.)

Ticket (if applicable)

@cla-bot cla-bot bot added the cla-signed Contributor approved, listed in .clabot file label Dec 2, 2025
@JV0812 JV0812 enabled auto-merge December 2, 2025 10:41
@JV0812 JV0812 added this pull request to the merge queue Dec 2, 2025
Merged via the queue into main with commit f14f60e Dec 2, 2025
7 checks passed
@JV0812 JV0812 deleted the search-fix branch December 2, 2025 11:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla-signed Contributor approved, listed in .clabot file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants