Repository navigation

Add typed JSON output to theme pull - #8917

Merged

gonzaloriestra merged 9 commits into

gonzalo/json-theme-pushfrom

gonzalo/json-theme-pull

Oct 16, 2026

Merged

Add typed JSON output to theme pull#8917
gonzaloriestra merged 9 commits into
gonzalo/json-theme-pushfrom
gonzalo/json-theme-pull

Commits on Oct 16, 2026
- Add typed JSON output to theme pull
  gonzaloriestra
  committed
  7b8a243
- Align theme pull JSON with public result conventions
  gonzaloriestra
  committed
  00e8421
- Retain skipped theme downloads in environment batches
  gonzaloriestra
  committed
  a2511b9
- Verify public download projection against real files
  gonzaloriestra
  committed
  f4bff6e
- Refresh theme pull JSON schema documentation
  gonzaloriestra
  committed
  1b3fdb5
- Refresh generated theme pull command docs
  gonzaloriestra
  committed
  9732123
- Report unchanged theme download outcomes
  gonzaloriestra
  committed
  0d0ace7
- Emit native absolute paths at JSON output boundaries
  gonzaloriestra
  committed
  93b3cc7
- Refresh JSON schema documentation after rebase
  gonzaloriestra
  committed
  293d453