Repository navigation

build(site): move generators out of the web root, add a pull-based deploy - #1538

Merged

frankbria merged 10 commits into

mainfrom

Oct 28, 2026

Merged

build(site): move generators out of the web root, add a pull-based deploy#1538
frankbria merged 10 commits into
mainfrom
site-deploy

Commits on Oct 28, 2026
- build(site): move generators out of the web root, add a pull-based deploy
  
  frankbria
  and
  claude
  committed
  13aaa64
- Merge branch 'main' into site-deploy
  frankbria
  authored
  0b5ccf0
- fix(site): deploy survives a first run and a re-run after a bad deploy
  
  frankbria
  and
  claude
  committed
  191baed
- Merge branch 'main' into site-deploy
  frankbria
  authored
  2d89720
- fix(site): an interrupted deploy no longer costs the last-good backup
  
  frankbria
  and
  claude
  committed
  1288f72
- fix(site): a failed backup no longer truncates the previous one
  
  frankbria
  and
  claude
  committed
  72a168d
- Merge branch 'main' into site-deploy
  frankbria
  authored
  4d6b91b
- fix(site): record a deploy only after its last fallible step
  
  frankbria
  and
  claude
  committed
  48ec7f8
- fix(site): set the deploy marker before the web root is created
  
  frankbria
  and
  claude
  committed
  8d473e2
- fix(site): recover from a clone killed part-way
  
  frankbria
  and
  claude
  committed
  cc4e4f3