[bash]githubの特定のプルリクエストをfetchできるようにしたい

# git で github の特定のプルリクエストをfetchできるようにする
function git-add-pull-request(){
  local PR=$1
  local REMOTE=$2
  REMOTE=${REMOTE:-origin}
  if [ -z "$PR" ]; then
    echo git-add-pull-request [remote] pull-request-id
    return
  fi
  # remote が数字なら多分remoteとプルリクエストIDが逆
  if expr "$REMOTE" : '[0-9]*' > /dev/null ; then
    PR=$2
    REMOTE=$1
  fi
  git config --add remote.${REMOTE}.fetch +refs/pull/${PR}/*:refs/remotes/${REMOTE}/pr/${PR}/*
}

消すときは .git/config を手で編集