a simple script to checkout a numbered pull req

gitcopr

#!/bin/bash

if [ x$1 == x ]; then
	echo "no pull request ref number specified at command line";
	exit 1;
else
	git fetch origin +refs/pull/$1/merge:;
	git checkout -qf FETCH_HEAD;
	git checkout -b $1;
fi