update

   1 #! /bin/sh
   2
   3 current="`git config --get --path remote.current.url`"
   4 origin="`git config --get --path remote.origin.url`"
   5
   6 if [ -n "$origin" ]; then
   7    if [ -n "$current" ]; then
   8       echo "UNKNOWN ERROR"
   9    else
  10       echo "This script must be run in the origin directory: $origin"
  11    fi >&2
  12    exit 1
  13 elif [ -z "$current" ]; then
  14    echo "UNKNOWN ERROR" >&2
  15    exit 1
  16 fi
  17
  18 git pull --ff-only current master &&
  19
  20 web="`git config --get --path remote.web.url`" &&
  21 [ -n "$web" ] && git push web
  22
  23 cd "$current" && exec git pull origin