No PR matched, but a commit does: "Refresh knowledge base embeddings with an hourly scheduled job instead of CI" by @nunomaduro, authored 2026-10-18.
https://github.com/nunomaduro/dev-null.sh/commit/cd70a24efabb29f36d383925f287b990f14a4e5a
That is commit evidence, not a merged…