[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 を手で編集