#!/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