Repository navigation

Improvements for website-next - #9768

Merged

tobias-tengler merged 11 commits into

mainfrom

May 22, 2026

Commits on May 21, 2026
- Remove images
  tobias-tengler
  committed
  7ec1c6c
- Add docker build
  tobias-tengler
  committed
  a8d11c4
- Add git attribution to docs
  tobias-tengler
  committed
  c83ec6d
- Add sitemap and robots
  tobias-tengler
  committed
  da9270b
- Statically create mermaid SVGs
  tobias-tengler
  committed
  24dcfdd
Commits on May 22, 2026
- Set proper lastModified in sitemap for pages besides docs
  tobias-tengler
  committed
  c426dfb
- Customize mermaid theme
  tobias-tengler
  committed
  50350ba
- Remove Gantt graph
  tobias-tengler
  committed
  8c3d6d9
- Install playwright
  tobias-tengler
  committed
  0e90d77
- Cache git metadata per module load
  tobias-tengler
  committed
  4fec75e
- Cleanup
  tobias-tengler
  committed
  a0d9c4e