Bash script for fetching a pull request from github...

fetch-git-pr.bash

# fetching a single pull request from github
# put it into ~/.profile or ~/.bashrc
function fetch_pr() {
  PR=$1
  BRANCH=$2

  if [ -z $PR ]; then
    echo "Missing pull request number"
    return 1
  fi

  if [ -z $BRANCH ]; then
    BRANCH="pr-$PR"
  fi

  git fetch upstream pull/$PR/head:$BRANCH
  git checkout $BRANCH
}