Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.patch

https://github.com/rust-lang/rust/pull/139966.diff



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: