Update github.io docs to simply redirect to mindersec.dev

evankanderson · evankanderson · commit 5d272b122147 · 2026-03-23T13:01:08.000-07:00
diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml
@@ -1,61 +1,31 @@
-# This is a basic workflow to help you get started with Actions
-
 name: Publish
 
 on:
   push:
     branches: ["main"]
-
-  # Allows you to run this workflow manually from the Actions tab
-  # We want to hook up the mindersec/minder repo to trigger this action
-  # on pushes to the main branch under docs.
   workflow_dispatch:
 
-  # Run once a day until further automation is wired up.
-  schedule:
-    - cron: "15 0 * * *"
-
 jobs:
-  build:
+  deploy:
     name: Deploy to GitHub Pages
     runs-on: ubuntu-latest
 
     permissions:
       contents: read
+      id-token: write
+      pages: write
 
-    defaults:
-      run:
-        working-directory: ./docs
-    steps:
-      - name: Checkout docs
-        uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
-        with:
-          repository: mindersec/minder
-
-      - uses: actions/setup-node@a0853c24544627f65ddf259abe73b1d18a591444 # v5.0.0
-
-        with:
-          node-version: 24
-
-      - name: Install dependencies
-        run: npm ci
+    environment: github-pages
 
-      - name: Build website
-        run: npm run build
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v6
 
-      - name: Deploy to GitHub Pages
+      - name: Upload pages artifact
         uses: actions/upload-pages-artifact@v3
         with:
-          path: ./docs/build
-  deploy:
-    name: Deploy
-    runs-on: ubuntu-latest
-    needs: build
+          path: .
 
-    permissions:
-      id-token: write
-      pages: write
-
-    steps:
       - name: Deploy to GitHub Pages
+        id: deploy
         uses: actions/deploy-pages@v4
diff --git a/404.html b/404.html
@@ -0,0 +1,20 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+  <meta charset="utf-8">
+  <title>Redirecting…</title>
+  <script>
+    // Redirect all paths to the equivalent URL on docs.mindersec.dev.
+    // GitHub Pages serves this 404.html for any path that has no matching file,
+    // so window.location reflects the originally requested URL.
+    var destination = 'https://docs.mindersec.dev'
+      + window.location.pathname
+      + window.location.search
+      + window.location.hash;
+    window.location.replace(destination);
+  </script>
+</head>
+<body>
+  <p>Redirecting to <a href="https://docs.mindersec.dev/">docs.mindersec.dev</a>…</p>
+</body>
+</html>
diff --git a/README.md b/README.md
@@ -1,6 +1,8 @@
 # Website for Minder
 
-This site publishes the content from
-https://github.com/mindersec/minder/tree/main/docs to GitHub Pages. You probably
-want to make your changes there, unless you're looking to change the publishing
-process.
+Minder documentation was published for about 6 months using the default GitHub
+Pages URL.  It is now published at the vanity domain
+https://docs.mindersec.dev/ directly from the sources at
+https://github.com/mindersec/minder/tree/main/docs. These pages now simply
+implement redirects to the correct site using a custom 404 page which
+implements a JavaScript redirect.
diff --git a/index.html b/index.html
@@ -0,0 +1,13 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+  <meta charset="utf-8">
+  <title>Redirecting…</title>
+  <link rel="canonical" href="https://docs.mindersec.dev/">
+  <meta http-equiv="refresh" content="0; url=https://docs.mindersec.dev/">
+  <script>window.location.replace('https://docs.mindersec.dev/' + window.location.search + window.location.hash);</script>
+</head>
+<body>
+  <p>Redirecting to <a href="https://docs.mindersec.dev/">docs.mindersec.dev</a>…</p>
+</body>
+</html>
