Downloading a GitHub pull request

 Adopted from here.

git clone --depth 1 git@github.com:org/repo.git
cd repo
git fetch origin branch_name:branch_name
git checkout branch_name