update redirects

leanprover-community · Dec 10, 2024 · ae38ad9 · ae38ad9
1 parent a191c47
commit ae38ad9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/client/src/index.tsx b/client/src/index.tsx
@@ -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",