Adding this snippet to your .git/config
file:
[alias]
giveme = "!sh -c 'git fetch origin refs/pull/$1/head && git checkout -b pull/$1 FETCH_HEAD' -"
allows you to run:
$ git giveme 1234
Which will fetch & checkout pull request 1234 locally.