repos / dotfiles

github-pr

 1#!/usr/bin/env bash
 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