3 current="`git config --get --path remote.current.url`"
4 origin="`git config --get --path remote.origin.url`"
6 if [ -n "$origin" ]; then
7 if [ -n "$current" ]; then
8 echo "UNKNOWN ERROR (both origin and current)" >&2
11 cd "$origin" || exit 1
14 elif [ -z "$current" ]; then
15 echo "UNKNOWN ERROR (neither origin nor current)" >&2
19 git pull --ff-only current master &&
21 web="`git config --get --path remote.web.url`" &&
22 [ -n "$web" ] && git push web
24 cd "$current" && exec git pull origin