Skip to content

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
Merged

Keep the userguide fetch honest: production source, and a guard against fetching a shell#231
adamjohnwright merged 4 commits into
mainfrom
fix/userguide-base-url

Fail loudly when a fetched guide page is a shell rather than a page

a42e05b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar