Skip to content

Conversation

@jpipkin1
Copy link
Collaborator

Purpose of this pull request

This pull request makes a small change to force a fresh build in an attempt to fix broken search caused when PR #5959 merged.

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)

PR #5959

@jpipkin1 jpipkin1 self-assigned this Oct 24, 2025
@cla-bot cla-bot bot added the cla-signed Contributor approved, listed in .clabot file label Oct 24, 2025
@jpipkin1 jpipkin1 added this pull request to the merge queue Oct 24, 2025
Merged via the queue into main with commit 7ac708f Oct 24, 2025
7 checks passed
@jpipkin1 jpipkin1 deleted the small-change-to-fix-search-oct-24-2025 branch October 24, 2025 13:36
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