GithubのPR番号から該当のPRの内容をfetchしてくる(refspecに依存しないで)

今までrefspecに依存したコマンドを書いてたんだけど、レポジトリ持ってくるごとに設定するのめんどくなったので。

↓こういうのを.gitconfigのaliasに設定した。

cop  = "!sh -c 'git fetch origin refs/pull/$0/merge && git checkout FETCH_HEAD -B origin/pull/$0'"

例えば42番のPR持ってきたかったら

git cop 42

とかってやる。mergeじゃなくてhead持ってきたいとかはお好みで。