update redirects

2024-12-10 14:35:27 +01:00
parent a191c47b8e
commit ae38ad977a
1 changed files with 2 additions and 2 deletions
@@ -36,12 +36,12 @@ const router = createHashRouter([
  {
    // For backwards compatibility
    path: "/game/nng",
-    loader: () => redirect("/g/hhu-adam/NNG4")
+    loader: () => redirect("/g/leanprover-community/nng4")
  },
  {
    // For backwards compatibility
    path: "/g/hhu-adam/NNG4",
-    loader: () => redirect("/g/leanprover-community/NNG4")
+    loader: () => redirect("/g/leanprover-community/nng4")
  },
  {
    path: "/g/:owner/:repo",