Skip to content

chore(docs): remove the pre-mike Sphinx site from the gh-pages root - #207

Merged
LukasGold merged 2 commits into
gh-pagesfrom
docs/prune-gh-pages-root
Nov 12, 2026
Merged

chore(docs): remove the pre-mike Sphinx site from the gh-pages root#207
LukasGold merged 2 commits into
gh-pagesfrom
docs/prune-gh-pages-root

docs: redirect missing pages to their current page or the main page

b28084c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs