Checkout github pull requests locally
これをやるだけ。
内容的には、.git/config に下記の一行を足すだけ
fetch = +refs/pull/*/head:refs/remotes/origin/pr/*
PRをfetchしたいリポジトリをupstreamとかで登録していたら、originになってるのをupstreamにすれば良い。
あとはgit fetch originでPRがフェッチされて、それをcheckoutするだけ。
git fetch --prune originするとPRがdeleteになるけどよくわからない。
