Repository navigation

Keep the userguide fetch honest: production source, and a guard against fetching a shell - #231

Merged

adamjohnwright merged 4 commits into

mainfrom

fix/userguide-base-url

Sep 17, 2026

Commits on Sep 17, 2026
- Say why the userguide fetch stays on production
  
  adamjohnwright
  and
  claude
  committed
  68eee39
- Point the userguide fetch at beta, and name the 403 it currently gets
  
  adamjohnwright
  and
  claude
  committed
  469530e
- Keep the userguide fetch on production, because nowhere else serves the guide
  
  adamjohnwright
  and
  claude
  committed
  c869efc
- Fail loudly when a fetched guide page is a shell rather than a page
  
  adamjohnwright
  and
  claude
  committed
  a42e05b