Repository navigation

Fix page titles of docs with a notice above the h1 - #910

Merged

MattiasBuelens merged 2 commits into

mainfrom

devin/1791795775-fix-doc-page-titles

Oct 12, 2026

Merged

Fix page titles of docs with a notice above the h1#910
MattiasBuelens merged 2 commits into
mainfrom
devin/1791795775-fix-doc-page-titles

Commits on Oct 12, 2026
- Move h1 above rebranding notice so Docusaurus picks it up as page title
  
  MattiasBuelens
  and
  devin-ai-integration[bot]
  committed
  bab522a
- Throw on doc pages without a title
  
  MattiasBuelens
  and
  devin-ai-integration[bot]
  committed
  67cf3d6