Git Extension for easily pulling down specific Pull Requests from github or setting your local repository to access all Pull Requests

git-pr

#!/bin/bash

set -e

arg=$1

function specific_pull_request() {
  echo "Fetching Pull Request '${arg}' from Github..."
  git fetch origin pull/$arg/head:pr-$arg
}

function generic_pull_request() {
  echo "Setting up your local Git repo to be able to pull all Pull Requests from Github."
  git config --add remote.origin.fetch '+refs/pull/*/head:refs/remotes/origin/pr/*'
}

case $arg in
  ''|*[!0-9]*) generic_pull_request ;;
  *) specific_pull_request ;;
esac