Repository navigation

Add typed JSON output to theme rename - #8653

Merged

gonzaloriestra merged 6 commits into

gonzalo/theme-telemetry-guardfrom

gonzalo/json-theme-rename

Oct 15, 2026

Merged

Add typed JSON output to theme rename#8653
gonzaloriestra merged 6 commits into
gonzalo/theme-telemetry-guardfrom
gonzalo/json-theme-rename

Commits on Oct 15, 2026
- Add typed JSON output to theme rename
  gonzaloriestra
  committed
  c06d75d
- Expose explicit theme rename JSON projections and no-op results
  gonzaloriestra
  committed
  88b0610
- Refresh theme rename JSON schema documentation
  gonzaloriestra
  committed
  a641990
- Refresh generated theme rename command docs
  gonzaloriestra
  committed
  efb700b
- Refresh theme rename JSON schema documentation
  gonzaloriestra
  committed
  835f3c0
- Preserve theme processing state when renaming
  gonzaloriestra
  committed
  72bd277