author avatar

revath

Sat Dec 29 2018

git fetch origin pull/<pr-id>/head:<local branch name> to checkout github pull request to local branch without adding the fork to your remote.