From 3a883df2259c295f8c6bc815e2fb3ca84e69ba1d Mon Sep 17 00:00:00 2001
From: Andreas Kraft <an.kraft@gmail.com>
Date: Thu, 27 Jun 2024 10:56:04 +0000
Subject: [PATCH] Set default version to latest in public with mike 2.1.2

---
 public/index.html | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 public/index.html

diff --git a/public/index.html b/public/index.html
new file mode 100644
index 0000000..41a13bb
--- /dev/null
+++ b/public/index.html
@@ -0,0 +1,18 @@
+<!DOCTYPE html>
+<html>
+<head>
+  <meta charset="utf-8">
+  <title>Redirecting</title>
+  <noscript>
+    <meta http-equiv="refresh" content="1; url=latest/" />
+  </noscript>
+  <script>
+    window.location.replace(
+      "latest/" + window.location.search + window.location.hash
+    );
+  </script>
+</head>
+<body>
+  Redirecting to <a href="latest/">latest/</a>...
+</body>
+</html>
-- 
GitLab