#! /bin/sh current="`git config --get --path remote.current.url`" origin="`git config --get --path remote.origin.url`" if [ -n "$origin" ]; then if [ -n "$current" ]; then echo "Config error (both origin and current)" >&2 exit 1 else cd "$origin" && exec ./update fi elif [ -z "$current" ]; then echo "Wrong directory error (neither origin nor current)" >&2 exit 1 fi git pull --ff-only current master && web="`git config --get --path remote.web.url`" && if [ -n "$web" ]; then git push web fi && cd "$current" && exec git pull origin