It sometimes happen you need change code on a machine from which you cannot push to the repo.
You’re ready to copy/paste what diff
outputs to your local working copy.
You think there must be a better way to proceed and you’re right. It’s a simple 2 steps process:
1. Generate the patch:
git diff > some-changes.patch
or
curl https://example.com/file-0.0.1.diff | git apply
2. Apply the diff:
Then copy this patch to your local machine, and apply it to your local working copy with:
git apply /path/to/some-changes.patch
And that’s it! The changes are now in your working copy and ready to be staged/commit/pushed :)
From GitHub for example look for the raw patch or diff.
To see a PR patch, just add ".patch" to the end of the pull request URL.
curl https://patch-diff.githubusercontent.com/raw/{user}/{repo}/pull/1274.patch?token={token} | git apply