checkout-pr-branch.sh

#!/bin/bash

# This script is used to checkout a Parser PR branch in a forked repo.
if test -z $1; then
	echo -e "Usage:\n"
	echo -e "\tcheckout-pr-branch.sh [github-username]:[pr-branch]\n"
	echo -e "The argument can be copied directly from github PR page."
	echo -e "The local branch name would be [github-username]/[pr-branch]."
	exit 0;
fi

username=$(echo $1 | cut -d':' -f1)
branch=$(echo $1 | cut -d':' -f2)
local_branch=$username/$branch
fork="https://github.com/$username/parser"

exists=`git show-ref refs/heads/$local_branch`
if [ -n "$exists" ]; then
	git checkout $local_branch
	git pull $fork $branch:$local_branch
else
	git fetch $fork $branch:$local_branch
	git checkout $local_branch
fi