3 ms·

You can also configure git to fetch the GitHub PR branches[0]. Add this line to your .git/config: fetch = +refs/pull//head:refs/remotes/upstream/pr/ Thi

by hpb42 4y ago

You can also configure git to fetch the GitHub PR branches[0]. Add this line to your .git/config: fetch = +refs/pull/*/head:refs/remotes/upstream/pr/* This has to be done in each repository you have checked out locally, but maybe it is possible to also have this done globally. But I never tried to do it. [0] http://tiborsimko.org/github-local-handling-of-pull-requests.html http://tiborsimko.org/github-local-handling-of-pull-requests...