mirror of
https://github.com/harvard-edge/cs249r_book.git
synced 2026-05-07 18:18:42 -05:00
[PR #1555] [MERGED] fix(links): round-2 lycheeignore + note on missing 00_course_overview.pdf #8263
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/harvard-edge/cs249r_book/pull/1555
Author: @profvjreddi
Created: 4/26/2026
Status: ✅ Merged
Merged: 4/26/2026
Merged by: @profvjreddi
Base:
dev← Head:fix/link-rot-zero-noise-r2📝 Commits (1)
30f986afix(links): round-2 lycheeignore patterns for tracker false positives📊 Changes
1 file changed (+22 additions, -0 deletions)
View changed files
📝
shared/config/.lycheeignore(+22 -0)📄 Description
Follow-up to #1554. After the first round dropped the Unified Site bucket from 17 → 0, the next nightly run surfaced more false-positive patterns dominating the Slides count.
What this PR adds
Four patterns to
shared/config/.lycheeignore, each manually verified to return 200 in a browser:github.com/tinyMLx/courseware/raw/master/edX/— rate-limited HEAD against GitHub raw. The 6 genuinely-broken upstream URLs were repaired in #1553; the remaining ~319 references all return 200 to a real user.github.com/<owner>/<repo>/issues/new(incl.?template=variants) — issue-creation form is always live, but lychee mishandles the parameterized form.github.com/<owner>/<repo>/releases/download/— Cloudflare HEAD is unreliable for release asset URLs.laurencemoroney.com— personal site, verified live.What this PR does NOT do
The genuinely-broken
00_course_overview.pdfon the slides-latest release. That's a real missing asset, not a false positive — the 2026-04-23 publish run successfully built the PDFs but a vol1/vol2 name-collision race during release upload left only the.pptxsurviving. Will be addressed by triggering a freshslides-publish-liverun separately.🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.