3 ms·
If you use github, you can also utilize git am to pull changes locally - i.e. add .patch to the end of a pull request url, navigate to the resulting url, copy t
by Bahamut 10y ago
If you use github, you can also utilize git am to pull changes locally - i.e. add .patch to the end of a pull request url, navigate to the resulting url, copy the new url, then run curl <insert url> | git am -3
- Manishearth 10y agoOr `git fetch origin pull/number/head:somebranchname` (omitting the branch will put it in FETCH_HEAD). I have a git alias for this, super useful.