You can do this fairly easily with a git alias without needing to be locked into a GitHub-only client:

    [alias]
    pr = !"pr() { git fetch origin pull/$1/head:pr-$1; }; pr"

And then do `git pr 1234 ; git checkout pr-1234`. Feel free to add `git checkout` to the alias if you prefer.