From ae38ad977a9ab2e2d2595f3309019e79c5dd9443 Mon Sep 17 00:00:00 2001 From: TentativeConvert Date: Tue, 10 Dec 2024 14:35:27 +0100 Subject: [PATCH] update redirects --- client/src/index.tsx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/client/src/index.tsx b/client/src/index.tsx index 5748fb97..f91f3776 100644 --- 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",