From 0937a5dc5ec360e8e6b41b8567956662129a43a8 Mon Sep 17 00:00:00 2001 From: Matt McKay Date: Mon, 3 Aug 2026 10:03:10 +1000 Subject: [PATCH] FIX: update GitHub pull requests doc link to final destination 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) --- lectures/workspace.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lectures/workspace.md b/lectures/workspace.md index 71bd745c..b305f0cf 100644 --- a/lectures/workspace.md +++ b/lectures/workspace.md @@ -361,7 +361,7 @@ As the 2nd task, 1. Look into 'forking' GitHub repositories (forking means making your own copy of a GitHub repository, stored on GitHub). 1. Fork [QuantEcon.py](https://github.com/QuantEcon/QuantEcon.py). 1. Clone your fork to some local directory, make edits, commit them, and push them back up to your forked GitHub repo. -1. If you made a valuable improvement, send us a [pull request](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-pull-requests)! +1. If you made a valuable improvement, send us a [pull request](https://docs.github.com/en/pull-requests/reference/pull-requests)! For reading on these and other topics, try