.gitconfig

# this works in repo/.git/config as well as just putting it in ~/.gitconfig
# and having it work in all repos.  Note that it basically never gets cleaned
# up, though, so if you're working on a big tree with lots of pull requests,
# you may need to /delete/ them 
[remote "origin"]
	fetch = +refs/pull/*/head:refs/pull/origin/*
[remote "upstream"]
	fetch = +refs/pull/*/head:refs/pull/upstream/*

git-cherry-pull.sh

#!/bin/bash
set -e
usage() {
	echo "git show-pull <remote> <pull_number>"
	exit $0
}

for x in "$@" ; do
	case "$x" in
	--help|-h|--usage|-\?)
		usage 0
		;;
	esac
done

if [ $# -ne 2 ]; then
	usage 1 1>&2
fi

exec git cherry-pick "..refs/pull/$1/$2"

git-list-pull.sh

#!/bin/bash
set -e 

usage() {
	echo "git show-pull <remote> <pull_number>"
	exit $0
}

for x in "$@" ; do
	case "$x" in
	--help|-h|--usage|-\?)
		usage 0
		;;
	esac
done

if [ $# -ne 2 ]; then
	usage 1 1>&2
fi

exec git log --color --abbrev=7 --oneline --abbrev-commit "..refs/pull/$1/$2"