Another trick with github urls: you can append .patch or .diff to any PR or commit URL, and you'll get back a git-formatted patch or diff. https://github.com/r

Another trick with github urls: you can append .patch or .diff to any PR or commit URL, and you'll get back a git-formatted patch or diff. https://github.com/rust-lang/rust/pull/139966 https://github.com/rust-lang/rust/pull/139966 https://github.com/rust-lang/rust/pull/139966.patch https://github.com/rust-lang/rust/pull/139966.patch https://github.com/rust-lang/rust/pull/139966.diff https://github.com/rust-lang/rust/pull/139966.diff