I recently learned that you can do

  git fetch origin pull/⟨PR id⟩/head:pr-⟨PR id⟩ && git checkout pr-⟨PR id⟩

(but hub is nicer of course)