From 617f49d339c4cdc76ab6eee25f4de7494d87cbad Mon Sep 17 00:00:00 2001
From: Fabio Anza <fabio.anza@kernel-science.com>
Date: Wed, 9 Sep 2026 12:24:02 -0400
Subject: [PATCH] fix(project-ideas): correct broken Physlib repo link

The link was built as `${site.github}_Website`, concatenating a suffix
onto the repo URL and resolving to
https://github.com/leanprover-community/physlib_Website, which does not
exist.

Point it at site.github instead, and move the anchor onto "Physlib repo"
so the link text matches where it actually goes (previously the text read
"website repo" while pointing at the library repo).

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
---
 web2/src/app/project-ideas/page.tsx | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/web2/src/app/project-ideas/page.tsx b/web2/src/app/project-ideas/page.tsx
index fe9dec1..7d4b4a9 100644
--- a/web2/src/app/project-ideas/page.tsx
+++ b/web2/src/app/project-ideas/page.tsx
@@ -187,14 +187,14 @@ export default function ProjectIdeasPage() {
         >
           Joseph Tooby-Smith
         </a>{" "}
-        know, or make a pull-request to the Physlib{" "}
+        know, or make a pull-request to the{" "}
         <a
-          href={`${site.github}_Website`}
+          href={site.github}
           target="_blank"
           rel="noopener noreferrer"
           className="text-accent hover:underline underline-offset-2"
         >
-          website repo
+          Physlib repo
         </a>
         .
       </p>