Update root redirects to release content

github-actions[bot] · github-actions[bot] · commit 3d7d70c5207c · 2026-04-05T04:39:34.000Z
diff --git a/index.html b/index.html
@@ -1 +1,7 @@
-<meta http-equiv="refresh" content="0; url=./release/"/>
+<!DOCTYPE html>
+<html>
+<head>
+  <script>window.location.href = "/JETLS.jl/release/" + window.location.hash;</script>
+  <noscript><meta http-equiv="refresh" content="0; url=/JETLS.jl/release/"></noscript>
+</head>
+</html>
