publish-gh-pages-for-pull-request.sh

. ./base.sh
if [ $# -lt 1 ]; then
    echo "Usage: sh $0 pull-request-id"
    exit
fi

id=$1
exe_cmd 'git checkout docs'
exe_cmd 'git fetch'
exe_cmd 'git rebase origin/docs'
exe_cmd 'sh publish-gh-pages.sh gh-pages'
exe_cmd "git commit -a -m 'auto published for #$1'"
exe_cmd "git checkout docs"
exe_cmd "jekyll build"