Repository navigation

Retire the topic pages and the topic browser - #1174

Merged

yattias merged 5 commits into

mainfrom

retire/6-topic-pages

Oct 12, 2026

Merged

Retire the topic pages and the topic browser#1174
yattias merged 5 commits into
mainfrom
retire/6-topic-pages

Commits on Oct 11, 2026
- Retire the topic pages and the topic browser
  
  yattias
  and
  claude
  committed
  049b2ef
- Keep the retirement's new lines out of SonarCloud's duplication count
  
  yattias
  and
  claude
  committed
  bf68e2b
- Drop topic badges entirely instead of showing them as plain text
  
  yattias
  and
  claude
  committed
  51a0ed0
- Merge remote-tracking branch 'origin/main' into retire/6-topic-pages
  yattias
  committed
  4b43ba1
Commits on Oct 12, 2026
- Merge branch 'main' into retire/6-topic-pages
  yattias
  authored
  0b30a13