Redirect GitHub Pages to docket.lol

chrisguidry · claude · chrisguidry · commit f36b45c2ca41 · 2026-02-20T15:11:32.000-05:00
Docs moved to ReadTheDocs in #347. This redirects old GitHub Pages URLs to the new domain, preserving subpaths via 404.html. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
diff --git a/404.html b/404.html
@@ -0,0 +1,12 @@
+<!DOCTYPE html>
+<html>
+<head>
+  <script>
+    var path = window.location.pathname.replace('/docket', '');
+    window.location.replace('https://docket.lol/en/latest' + path);
+  </script>
+</head>
+<body>
+  <p>Redirecting to <a href="https://docket.lol/en/latest/">docket.lol</a>...</p>
+</body>
+</html>
diff --git a/index.html b/index.html
@@ -0,0 +1,10 @@
+<!DOCTYPE html>
+<html>
+<head>
+  <meta http-equiv="refresh" content="0; url=https://docket.lol/en/latest/" />
+  <link rel="canonical" href="https://docket.lol/en/latest/" />
+</head>
+<body>
+  <p>Redirecting to <a href="https://docket.lol/en/latest/">docket.lol</a>...</p>
+</body>
+</html>
