GithubのPull Requestをローカルにfetchする

これをやるだけ。

内容的には、.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になるけどよくわからない。