1#!/usr/bin/env sh
 2
 3help() {
 4  echo "github-pr.sh <REMOTE> <PR-ID> <NEW-BRANCH>"
 5}
 6
 7if [ $# -eq 0 ]; then
 8  help
 9  exit
10fi
11
12git fetch "$1" "pull/$2/head:$3"
13git checkout "$3"