git-checkout-pr.sh

#!/bin/bash

# checkout a pull request by ID into a new branch like: gcopr 123 new-branch-name
gcopr() {
  numRegex='^[0-9]+$'
  if ! [[ $1 =~ $numRegex ]]; then
   echo "No ID for PR given"
  else
    branchname=${2-pr-$1}
    git fetch origin pull/$1/head:$branchname
    git checkout $branchname
  fi
}