postgres repo sync script among mainline and local and personal github

local_sync.sh

#!/bin/sh

current_branch=$(git branch | grep '^\*' | sed -e 's/^\* //')
echo "==> checking current branch: ${current_branch}"
if [ x"${current_branch}" != x"master" ]; then
        echo "current branch is not 'master'."

        echo "===> checking out master..."
        git checkout master
        if [ x"$?" != x"0" ]; then
                echo "checking out master failed."
                echo "exit."
                exit 1
        fi
fi

echo "==> pulling from github original repo..."
git pull [email protected]:postgres/postgres.git master

echo "==> pushing to github personal repo..."
git push

echo "==> finish: changing back to working branch: ${current_branch}"
git checkout ${current_branch}