You can get it with: git fetch <remote> refs/pull/<pr>/head
My git config has the alias:
pr = !f() { git fetch $1 refs/pull/$2/head:pr/$1/$2; } ; f
You can get it with: git fetch <remote> refs/pull/<pr>/head
My git config has the alias:
which will create a local branch corresponding to the provide PR. This is useful for evaluating large PRs that would be difficult to fully evaluate with just the online UI.