Repository navigation

Repo sync - #42923

Merged

docs-bot merged 3 commits into

mainfrom

Feb 12, 2026

Merged

Repo sync#42923
docs-bot merged 3 commits into
mainfrom
repo-sync

Commits on Feb 11, 2026
- Merge pull request #59607 from github/repo-sync
  docs-bot
  authored
  325ea86
Commits on Feb 12, 2026
- patch to fix failing production builds (#59623)
  jmoody
  authored
  fa748a6
- Add Article API-based search indexing module (#59497)
  
  heiskr
  and
  Ebonsignori
  authored
  95c4cf2