git-fetch-pr

#!/bin/bash
#
# Fetch a pull request from github. Guesses the name of your repo from its `origin`
# remote.
#
# e.g. git fetch-pr 8
#
# (relies on `wip/git-url` and `jq` for now)

set -e

t="$(mktemp -t XXXXX.json)"
function json() {
    cat $t | jq -r "$@"
}

echo "Fetching $(git url --api /pulls/$1)"
curl --netrc -sS $(git url --api /pulls/$1) > $t

if [ "$(json .message)" != "null" ]
then
    echo "$(json .message)"
else
    echo "Fetching $(json .head.repo.owner.login)/$(json .head.ref)"
    git fetch "$(json .head.repo.ssh_url)" "$(json .head.ref)"
    git branch "$(json .head.repo.owner.login)/$(json .head.ref)" "$(json .head.sha)"
fi
rm $t