From f364e3b9231de3e9fd9833d92c8737254ea74d06 Mon Sep 17 00:00:00 2001 From: Chris Martinez Date: Wed, 5 Aug 2026 20:27:24 -0700 Subject: [PATCH 1/2] Add tooling for mapping the old wiki pages to the new GitHub Pages site --- .github/workflows/gh-pages.yml | 13 ++- wiki/tools/README.md | 99 ++++++++++++++++++++ wiki/tools/Test-Links.ps1 | 142 +++++++++++++++++++++++++++++ wiki/tools/make-wiki-stubs.ps1 | 149 +++++++++++++++++++++++++++++++ wiki/tools/wiki-redirect-map.tsv | 54 +++++++++++ 5 files changed, 456 insertions(+), 1 deletion(-) create mode 100644 wiki/tools/README.md create mode 100644 wiki/tools/Test-Links.ps1 create mode 100644 wiki/tools/make-wiki-stubs.ps1 create mode 100644 wiki/tools/wiki-redirect-map.tsv diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 728602e1..09cea5fb 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -30,10 +30,21 @@ jobs: curl -sSL $url | tar -xz --directory=./mdbook echo `pwd`/mdbook >> $GITHUB_PATH - - name: Deploy GitHub Pages + - name: Build Documentation run: | cd wiki mdbook build + + # mdBook rewrites .md links to .html without verifying the target exists, so a + # renamed or removed page builds cleanly and 404s in production. This also checks + # that the legacy wiki redirect map still resolves. + - name: Check Links + shell: pwsh + run: ./wiki/tools/Test-Links.ps1 -Book ./wiki/book -MapPath ./wiki/tools/wiki-redirect-map.tsv + + - name: Deploy GitHub Pages + run: | + cd wiki git worktree add gh-pages git config user.name "GitHub Pages from CI" git config user.email "" diff --git a/wiki/tools/README.md b/wiki/tools/README.md new file mode 100644 index 00000000..43c313ac --- /dev/null +++ b/wiki/tools/README.md @@ -0,0 +1,99 @@ +# Wiki Tools + +Tooling for the legacy GitHub wiki, which was superseded by +. + +The wiki is intentionally kept online rather than disabled. Articles, training material, and +blog posts link to it, and those links should keep resolving. Every page has been replaced with +a short stub pointing at the equivalent page on the new site. + +## Why stubs instead of redirects + +GitHub wikis cannot issue an HTTP redirect. There is no `_redirects` or `.htaccess`, and +GitHub's Markdown sanitizer strips ``, `