Skip to content

[v1.19] docs: Update docsearch to v4.5.4#44272

Merged
joestringer merged 3 commits intov1.19from
pr/joe/v1.19-docs-algolia-bump
Feb 10, 2026
Merged

[v1.19] docs: Update docsearch to v4.5.4#44272
joestringer merged 3 commits intov1.19from
pr/joe/v1.19-docs-algolia-bump

Conversation

@joestringer
Copy link
Copy Markdown
Member

@joestringer joestringer commented Feb 9, 2026

v1.19 backports 2026-02-09

Once this PR is merged, a GitHub action will update the labels of these PRs:

44233

joestringer and others added 2 commits February 9, 2026 13:57
[ upstream commit 3824912 ]

Pull in the latest theme with newer docsearch plugin version.

Signed-off-by: Joe Stringer <joe@cilium.io>
[ upstream commit 63b1636 ]

Signed-off-by: Cilium Imagebot <noreply@cilium.io>
Signed-off-by: Joe Stringer <joe@cilium.io>
@joestringer joestringer requested review from a team as code owners February 9, 2026 22:02
@joestringer joestringer requested a review from Artyop February 9, 2026 22:03
@maintainer-s-little-helper maintainer-s-little-helper bot added backport/1.19 This PR represents a backport for Cilium 1.19.x of a PR that was merged to main. kind/backports This PR provides functionality previously merged into master. labels Feb 9, 2026
Signed-off-by: Cilium Imagebot <noreply@cilium.io>
@joestringer
Copy link
Copy Markdown
Member Author

/test

@joestringer joestringer enabled auto-merge February 9, 2026 22:56
@joestringer joestringer added this pull request to the merge queue Feb 10, 2026
@maintainer-s-little-helper maintainer-s-little-helper bot added the ready-to-merge This PR has passed all tests and received consensus from code owners to merge. label Feb 10, 2026
Merged via the queue into v1.19 with commit c80f863 Feb 10, 2026
76 checks passed
@joestringer joestringer deleted the pr/joe/v1.19-docs-algolia-bump branch February 10, 2026 11:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport/1.19 This PR represents a backport for Cilium 1.19.x of a PR that was merged to main. kind/backports This PR provides functionality previously merged into master. ready-to-merge This PR has passed all tests and received consensus from code owners to merge.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants