Michael Adam obnoxxx
obnoxxx
/ gist:e3dadd6506c693b7e236db4ac73c70cd
Created
August 28, 2025 09:33
How to fetch github PRs as branches
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| By adding one simple line to the config file a github repo's local clone, it is possible to fetch pull requests(PRs) as branches, which can be very convenient for reviewers for local testing of PRs and trying to help solve issues. | |
| conceptually, one adds this line to the section `[ remote "origin"]` og `.git/config` in the checkout dir: | |
| ```ini | |
| +refs/pull/*/head:refs/remotes/origin/pr/* | |
| ``` | |