fix(project-ideas): correct broken Physlib repo link - #19
Merged
Conversation
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>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Problem
On Project Ideas, the closing sentence invites contributors to "make a pull-request to the Physlib website repo" — but the link was broken.
It was built as a template literal appending a suffix to the repo URL:
which resolves to
https://github.com/leanprover-community/physlib_Website— a repo that does not exist, so the link 404s.Fix
Point the anchor at
site.github(https://github.com/leanprover-community/physlib), and move the link onto the words "Physlib repo" so the link text matches its destination. Previously the text read "website repo" while pointing at the library repo, which would have been misleading even once the URL was fixed.The sentence now renders as:
Notes
site.githubuses all append valid paths (/issues,/projects,/issues/new).node_modulesnot installed in this checkout) — worth letting CI/Vercel confirm.🤖 Generated with Claude Code