Skip to content

FIX: update GitHub pull requests doc link to final destination - #590

Merged
mmcky merged 1 commit into
mainfrom
fix-github-pr-docs-link
Aug 3, 2026
Merged

FIX: update GitHub pull requests doc link to final destination#590
mmcky merged 1 commit into
mainfrom
fix-github-pr-docs-link

Conversation

@mmcky

@mmcky mmcky commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

Fixes the one genuine finding in #587.

The GitHub docs URL for "About pull requests" in lectures/workspace.md now 301-redirects, so this points it directly at the destination:

URL
before https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-pull-requests
after https://docs.github.com/en/pull-requests/reference/pull-requests

This matches the AI suggestion in the report, and I verified the redirect chain resolves 301 to that exact target with a 200.

About the other two findings in #587

The two FRED links reported as broken are false positives and need no change here. Both return 200 in well under a second from a normal network; the 0 (Timeout) status is FRED throttling GitHub Actions runner IPs. They are already whitelisted for Sphinx in lectures/_config.yml under linkcheck_ignore, but the link checker scans built HTML and never sees that configuration.

That is the root cause of the eight older duplicate issues (#555, #556, #559, #564, #565, #567, #571, #583), which I am closing in favour of #587. The fix belongs in the action rather than in this repo, and is tracked upstream in QuantEcon/action-link-checker#2, which requests an ignore-patterns input plus issue deduplication.

Heads-up for the next release

The report only flags pandas.html, but lectures/polars.md carries the identical FRED link. The checker runs against the latest release tarball, which predates the Polars lecture, so expect these to double to four false positives after the next release until the upstream ignore list lands.

🤖 Generated with Claude Code

The GitHub docs URL for "About pull requests" now 301-redirects to
https://docs.github.com/en/pull-requests/reference/pull-requests

Point directly at the destination so the weekly link checker stops
flagging it as a redirect.

Reported by the link checker in #587

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Updates a GitHub documentation link in the “workspace” lecture to avoid an unnecessary redirect, keeping the lecture’s external references current and stable.

Changes:

  • Replace the “About pull requests” GitHub Docs URL with its current canonical destination (/pull-requests/reference/pull-requests).

@github-actions

github-actions Bot commented Aug 3, 2026

Copy link
Copy Markdown

@github-actions
github-actions Bot temporarily deployed to pull request August 3, 2026 00:10 Inactive
@mmcky
mmcky merged commit 1bb37dd into main Aug 3, 2026
6 checks passed
@mmcky
mmcky deleted the fix-github-pr-docs-link branch August 3, 2026 02:47
@mmcky

mmcky commented Aug 3, 2026

Copy link
Copy Markdown
Contributor Author

✅ Translation sync completed (zh-cn)

Target repo: QuantEcon/lecture-python-programming.zh-cn
Translation PR: QuantEcon/lecture-python-programming.zh-cn#83
Files synced (1):

  • lectures/workspace.md

@mmcky

mmcky commented Aug 3, 2026

Copy link
Copy Markdown
Contributor Author

✅ Translation sync completed (fr)

Target repo: QuantEcon/lecture-python-programming.fr
Translation PR: QuantEcon/lecture-python-programming.fr#22
Files synced (1):

  • lectures/workspace.md

@mmcky

mmcky commented Aug 3, 2026

Copy link
Copy Markdown
Contributor Author

✅ Translation sync completed (fa)

Target repo: QuantEcon/lecture-python-programming.fa
Translation PR: QuantEcon/lecture-python-programming.fa#146
Files synced (1):

  • lectures/workspace.md

mmcky added a commit that referenced this pull request Aug 3, 2026
The GitHub docs URL for "About pull requests" now 301-redirects to
https://docs.github.com/en/pull-requests/reference/pull-requests

Point directly at the destination so the weekly link checker stops
flagging it as a redirect.

Reported by the link checker in #587

Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants