#!/bin/sh
test -z "$2" && { echo "syntax: $0 <PR-number> <temporary-name>"; exit 1; }
set -ex
git checkout master
git branch -D pr-$1-$2
git fetch origin pull/$1/head:pr-$1-$2
git checkout pr-$1-$2
set +x
echo "### Pull request #$1 should be here in current branch 'pr-$1-$2':"
git branch | grep pr-$1-$2