Jan Schaumann on Nostr: TIL: You can easily download a plain text diff from a #GitHub pull request by simply ...

TIL: You can easily download a plain text diff from a #GitHub pull request by simply adding ".patch" to the base URL of the PR.

So to patch your local tree from an unmerged PR, you can

curl -L -s https://github.com/<org>/<repository>/pull/<num>.patch | patch