Repository navigation

Let each environment use a user-chosen badge glyph - #28155

Open

repparw wants to merge 5 commits into

pingdotgg:mainfrom

repparw:t3/greek-letter-environment-icons

Open

Let each environment use a user-chosen badge glyph#28155
repparw wants to merge 5 commits into
pingdotgg:mainfrom
repparw:t3/greek-letter-environment-icons

Commits on Oct 31, 2026
- Add device-local per-environment badge glyphs
  repparw
  committed
  0c2a63b
- ci: retrigger web tests after unrelated PDF preview timeout
  repparw
  committed
  c3455e3
Commits on Nov 2, 2026
- chore: merge main into environment glyph branch
  maria-rcks
  committed
  dcca12a
- fix(web): make environment glyphs editable for local environments
  maria-rcks
  committed
  99a14c5
Commits on Nov 5, 2026
- Merge remote-tracking branch 'github/main' into t3/greek-letter-environment-icons
  maria-rcks
  committed
  cdaa456